Mavryk_raw_protocol_demo_counter.State
type t = {
a : int32;
b : int32;
}
Demo protocol state
val invariant : t -> bool
counter should be positive
val create : int32 -> int32 -> t option
val encoding : t Mavryk_protocol_environment_demo_counter.Data_encoding.t
val encoding_length : int
val get_state : Mavryk_protocol_environment_demo_counter.Context.t -> t Mavryk_protocol_environment_demo_counter.Lwt.t
val update_state : Mavryk_protocol_environment_demo_counter.Context.t -> t -> Mavryk_protocol_environment_demo_counter.Context.t Mavryk_protocol_environment_demo_counter.Lwt.t