Module `Tezos_raw_protocol_demo_counter.Header`Source

Sourcetype t

Sourceval encoding : t Tezos_protocol_environment_demo_counter.Data_encoding.t

Sourceval create : string -> t