Module Tezos_embedded_protocol_009_PsFLoren

module Registerer : sig ... end