Tezos_protocol_008_PtEdoTez
module Environment = Tezos_protocol_environment_008_PtEdoTez
module Protocol : sig ... end