Make (tezos-protocol-023-PtSeouLo.Tezos_raw_protocol_023

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_023_PtSeouLo.Error_monad.tzresult

val index_exn : int32 -> index

val compact : 
  either Tezos_protocol_environment_023_PtSeouLo.Data_encoding.Compact.t

val encoding : either Tezos_protocol_environment_023_PtSeouLo.Data_encoding.t

val index_encoding : 
  index Tezos_protocol_environment_023_PtSeouLo.Data_encoding.t

val value_encoding : 
  value Tezos_protocol_environment_023_PtSeouLo.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_023_PtSeouLo.Format.formatter ->
  'state t ->
  unit