Tezos_protocol_001_PtCJ7pwo
module Environment = Tezos_protocol_environment_001_PtCJ7pwo
module Protocol : sig ... end