Source file tezos_raw_protocol_demo_counter.ml

(* generated by dune *)

(** @canonical Tezos_raw_protocol_demo_counter.Apply *)
module Apply = Tezos_raw_protocol_demo_counter__Apply

(** @canonical Tezos_raw_protocol_demo_counter.Error *)
module Error = Tezos_raw_protocol_demo_counter__Error

(** @canonical Tezos_raw_protocol_demo_counter.Header *)
module Header = Tezos_raw_protocol_demo_counter__Header

(** @canonical Tezos_raw_protocol_demo_counter.Main *)
module Main = Tezos_raw_protocol_demo_counter__Main

(** @canonical Tezos_raw_protocol_demo_counter.Proto_operation *)
module Proto_operation = Tezos_raw_protocol_demo_counter__Proto_operation

(** @canonical Tezos_raw_protocol_demo_counter.Proto_params *)
module Proto_params = Tezos_raw_protocol_demo_counter__Proto_params

(** @canonical Tezos_raw_protocol_demo_counter.Receipt *)
module Receipt = Tezos_raw_protocol_demo_counter__Receipt

(** @canonical Tezos_raw_protocol_demo_counter.Services *)
module Services = Tezos_raw_protocol_demo_counter__Services

(** @canonical Tezos_raw_protocol_demo_counter.State *)
module State = Tezos_raw_protocol_demo_counter__State