Mavryk_protocol_demo_counter
module Environment = Mavryk_protocol_environment_demo_counter
module Protocol : sig ... end