Module Tezos_embedded_protocol_016_PtMumbai

module Registerer : sig ... end