Tezos_raw_protocol_demo_counter.Header
type t
val encoding : t Tezos_protocol_environment_demo_counter.Data_encoding.t
val create : string -> t