tezos-protocol-demo-counter.raw
Tezos_raw_protocol_demo_counter.State
tezos-protocol-demo-counter
tezos-protocol-demo-counter.environment
tezos-protocol-demo-counter.lifted
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 Tezos_protocol_environment_demo_counter.Data_encoding.t
val encoding_length : int
val get_state : Tezos_protocol_environment_demo_counter.Context.t -> t Tezos_protocol_environment_demo_counter.Lwt.t
val update_state : Tezos_protocol_environment_demo_counter.Context.t -> t -> Tezos_protocol_environment_demo_counter.Context.t Tezos_protocol_environment_demo_counter.Lwt.t