Tezos_protocol_010_PtGRANAD
module Environment = Tezos_protocol_environment_010_PtGRANAD
module Protocol : sig ... end