package tezos-protocol-demo-counter
receipts are used to notify users of operation application. We use a a simple string but we could use a structured datatype...
val create : string -> tval to_string : t -> stringval encoding : t Tezos_protocol_environment_demo_counter.Data_encoding.t