Mavryk_raw_protocol_demo_counter.Receiptreceipts 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 Mavryk_protocol_environment_demo_counter.Data_encoding.t