The metadata associated to an address.
val get :
t ->
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_context_sig.address_index ->
Tezos_raw_protocol_015_PtLimaPt.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_015_PtLimaPt.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_015_PtLimaPt.Tx_rollup_l2_context_sig.address_index ->
Tezos_protocol_environment_015_PtLimaPt.Bls.Public_key.t ->
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.