Tezos_protocol_006_PsCARTHA
module Environment = Tezos_protocol_environment_006_PsCARTHA
module Protocol : sig ... end