Tezos_protocol_alpha
module Environment = Tezos_protocol_environment_alpha
module Protocol : sig ... end