Tezos_protocol_008_PtEdo2Zk
module Environment = Tezos_protocol_environment_008_PtEdo2Zk
module Protocol : sig ... end