Functor XML_print.MakeTyped

module MakeTyped : functor (XML : XML_sigs.Iterable) -> 
  functor (TypedXML : XML_sigs.TypedXML     with module XML := XML) -> 
  functor (O : XML_sigs.Output) -> 
  
  XML_sigs.TypedPrinterwith type out := O.out
                              and type 'a elt := 'a TypedXML.elt
                              and type doc := TypedXML.doc

Parameters :

XML	:	XML_sigs.Iterable
TypedXML	:	XML_sigs.TypedXML with module XML := XML
O	:	XML_sigs.Output

type 'a elt

type doc

type out

val print_list : 
  ?encode:(Buffer.t -> string -> unit) ->
  'a elt list -> out

val print : 
  ?encode:(Buffer.t -> string -> unit) ->
  ?advert:string ->
  doc -> out