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.TypedPrinter with 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:(string -> string) ->
'a elt list -> out
val print : ?encode:(string -> string) ->
?advert:string -> doc -> out