Tezos_protocol_023_PtSeouLo
module Environment = Tezos_protocol_environment_023_PtSeouLo
module Protocol : sig ... end