Module Tezos_protocol_demo_counter

module Protocol : sig ... end