Tezos_protocol_004_Pt24m4xi
module Environment = Tezos_protocol_environment_004_Pt24m4xi
module Protocol : sig ... end