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