Mavryk_protocol_000_PsUCFkqU
module Environment = Mavryk_protocol_environment_000_PsUCFkqU
module Protocol : sig ... end