Module Tezos_protocol_021_PsQuebec_lifted

module Lifted_protocol : sig ... end