Module Tezos_embedded_protocol_004_Pt24m4xi

module Registerer : sig ... end