Tezos_protocol_025_PsGXQmSv
module Environment = Tezos_protocol_environment_025_PsGXQmSv
module Protocol : sig ... end