Make (tezos-protocol-alpha.Tezos_raw_protocol

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