Module Mavryk_protocol_genesis_lifted

module Lifted_protocol : sig ... end