Module `Tezos_raw_protocol_demo_counter.Receipt`Source

Sourcetype t

receipts are used to notify users of operation application. We use a a simple string but we could use a structured datatype...

Sourceval create : string -> t

Sourceval to_string : t -> string

Sourceval encoding : t Tezos_protocol_environment_demo_counter.Data_encoding.t