package tezos-protocol-014-PtKathma
val metadata_encoding :
Tx_rollup_l2_context_sig.metadata
Tezos_protocol_environment_014_PtKathma.Data_encoding.encodingType-Safe Storage Access and Gas Accounting
type _ key = | Address_metadata : Tx_rollup_l2_context_sig.address_index -> Tx_rollup_l2_context_sig.metadata key| Address_count : int32 key| Address_index : Tx_rollup_l2_address.t -> Tx_rollup_l2_context_sig.address_index key| Ticket_count : int32 key| Ticket_index : Alpha_context.Ticket_hash.t -> Tx_rollup_l2_context_sig.ticket_index key| Ticket_ledger : Tx_rollup_l2_context_sig.ticket_index * Tx_rollup_l2_context_sig.address_index -> Tx_rollup_l2_qty.t key
A value of type 'a key identifies a value of type 'a in an underlying, untyped storage.
This GADT is used to enforce type-safety of the abstraction of the transactions rollup context. For this abstraction to work, it is necessary to ensure that the serialization of values 'a
key and 'b key cannot collide. To that end, we use Data_encoding (see packed_key_encoding).
A monomorphic version of Key, used for serialization purposes.
val packed_key_encoding :
packed_key Tezos_protocol_environment_014_PtKathma.Data_encoding.tThe encoding used to serialize keys to be used with an untyped storage.
val value_encoding :
'a. 'a key ->
'a Tezos_protocol_environment_014_PtKathma.Data_encoding.tvalue_encoding key returns the encoding to be used to serialize and deserialize values associated to a key from and to the underlying storage.
Errors
The Context Functor
module Make
(S : Tx_rollup_l2_storage_sig.STORAGE) :
Tx_rollup_l2_context_sig.CONTEXT with type t = S.t and type 'a m = 'a S.m