Tezos_protocol_025_PsUshuai
module Environment = Tezos_protocol_environment_025_PsUshuai
module Protocol : sig ... end