Make (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001

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

val index_exn : int32 -> index

val compact : 
  either Mavryk_protocol_environment_001_PtAtLas.Data_encoding.Compact.t

val encoding : either Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val index_encoding : 
  index Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val value_encoding : 
  value Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val compare : 'state t -> 'state' t -> int

val compare_values : value -> value -> int

val compare_indexes : index -> index -> int

val pp : 
  Mavryk_protocol_environment_001_PtAtLas.Format.formatter ->
  'state t ->
  unit