Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The metadata associated to an address.
val get :
t ->
Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_sig.address_index ->
Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_sig.metadata option mget ctxt idx returns the current metadata associated to the address indexed by idx.
val incr_counter :
t ->
Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_sig.address_index ->
t mincr_counter ctxt idx increments the counter of the address indexed by idx.
This function can fail with Counter_overflow iff the counter has reached the Int64.max_int limit.
This function can fail with Unknown_address_index if idx has not been associated with a layer-2 address already.
val init_with_public_key :
t ->
Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_sig.address_index ->
Tezos_protocol_environment_013_PtJakart.Bls_signature.pk ->
t minit_with_public_key ctxt idx pk initializes the metadata associated to the address indexed by idx.
This can fails with Metadata_already_initialized if this function has already been called with idx.