Tezos_protocol_demo_noops
module Environment = Tezos_protocol_environment_demo_noops
module Protocol : sig ... end