functor (XML : XML_sigs.Iterable->
  functor
    (TypedXML : sig
                  module Info : XML_sigs.Info
                  type 'a elt
                  type doc
                  val toelt : 'a elt -> XML.elt
                  val doc_toelt : doc -> XML.elt
                end->
    functor (O : XML_sigs.Output->
      sig
        val print_list :
          ?encode:(string -> string) -> 'TypedXML.elt list -> O.out
        val print :
          ?encode:(string -> string) ->
          ?advert:string -> TypedXML.doc -> O.out
      end