1 (* Quite useful, taken from CDuce, cduce/misc/custom.ml *)
5 val equal : t -> t -> bool
11 val dump : Format.formatter -> t -> unit
12 val check : t -> unit (* Check internal invariants *)
15 val equal : t -> t -> bool
17 val compare :t -> t -> int
18 val print : Format.formatter -> t -> unit
26 val to_string : t -> string
30 module type BINARY_TREE =
34 module Tag : TAG with type t = Tag.t
35 val parse_xml_uri : string -> t
36 val parse_xml_string : string -> t
40 val is_string : t -> bool
41 val is_node : t -> bool
42 val is_nil : t -> bool
44 val string : t -> string
45 val first_child : t -> t
46 val next_sibling : t -> t
52 val print_xml : out_channel -> t -> unit
53 val size : t -> int*int*int*int
55 module type BINARY_TREE_S =
59 val parse_xml_uri : string -> t
60 val parse_xml_string : string -> t
64 val is_string : t -> bool
65 val is_node : t -> bool
66 val is_nil : t -> bool
68 val string : t -> string
69 val first_child : t -> t
70 val next_sibling : t -> t
76 val print_xml : out_channel -> t -> unit
77 val dump : Format.formatter -> t -> unit
78 val size : t -> int*int*int*int