package tezos-protocol-demo-counter

  1. Overview
  2. Docs
package tezos-protocol-demo-counter
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. a : int32;
  2. b : int32;
}

Demo protocol state

val invariant : t -> bool

counter should be positive

val create : int32 -> int32 -> t option
val encoding : t Data_encoding.t
val encoding_length : int