tezos-protocol-alpha.raw
Indexable.Make
tezos-protocol-alpha
tezos-protocol-alpha.environment
tezos-protocol-alpha.parameters
module V : VALUE
type nonrec 'state t = ('state, V.t) t
type nonrec index = V.t index
type nonrec value = V.t value
type nonrec either = V.t either
val value : V.t -> value
val index : int32 -> index Tezos_protocol_environment_alpha.Error_monad.tzresult
val index_exn : int32 -> index
val compact : either Tezos_protocol_environment_alpha.Data_encoding.Compact.t
val encoding : either Tezos_protocol_environment_alpha.Data_encoding.t
val index_encoding : index Tezos_protocol_environment_alpha.Data_encoding.t
val value_encoding : value Tezos_protocol_environment_alpha.Data_encoding.t
val compare : 'state t -> 'state' t -> int
val compare_values : value -> value -> int
val compare_indexes : index -> index -> int
val pp : Tezos_protocol_environment_alpha.Format.formatter -> 'state t -> unit