type encoding = [
|
`ISO_8859_1
|
`US_ASCII
|
`UTF_16
|
`UTF_16BE
|
`UTF_16LE
|
`UTF_8
]
type signal = [
|
`Data of string
|
`Dtd of dtd
|
`El_end
|
`El_start of tag
]
type error = [
|
`Expected_char_seqs of string list * string
|
`Expected_root_element
|
`Illegal_char_ref of string
|
`Illegal_char_seq of string
|
`Malformed_char_stream
|
`Max_buffer_size
|
`Unexpected_eoi
|
`Unknown_encoding of string
|
`Unknown_entity_ref of string
|
`Unknown_ns_prefix of string
]
type source = [
|
`Channel of Stdlib.in_channel
|
`Fun of unit -> int
|
`String of int * std_string
]
type !'a frag = [
|
`Data of string
|
`El of tag * 'a list
]
type dest = [
|
`Buffer of std_buffer
|
`Channel of Stdlib.out_channel
|
`Fun of int -> unit
]
val make_output :
?decl:bool ->
?nl:bool ->
?indent:int option ->
?ns_prefix:(string -> string option) ->
dest ->
output
val output_depth : output -> int
val output_tree : ('a -> 'a frag) -> output -> 'a -> unit
val output_doc_tree : ('a -> 'a frag) -> output -> (dtd * 'a) -> unit