(* Debugging *)
val dump : Format.formatter -> t -> unit
val check : t -> unit (* Check internal invariants *)
-
+
(* Data structures *)
val equal : t -> t -> bool
val hash : t -> int
end
module type BINARY_TREE =
- functor (Tag:TAG) ->
+ functor (Tag:TAG) ->
sig
include T
module Tag : TAG with type t = Tag.t
val parse_xml_uri : string -> t
val parse_xml_string : string -> t
-
+
val root : t -> t
val is_string : t -> bool
val first_child : t -> t
val next_sibling : t -> t
val parent : t -> t
-
+
val id : t -> int
val tag : t -> Tag.t
val print_xml : out_channel -> t -> unit
val size : t -> int*int*int*int
end
-module type BINARY_TREE_S =
+module type BINARY_TREE_S =
sig
include T
module Tag : TAG
val parse_xml_uri : string -> t
val parse_xml_string : string -> t
-
+
val root : t -> t
val is_string : t -> bool
val first_child : t -> t
val next_sibling : t -> t
val parent : t -> t
-
+
val id : t -> int
val tag : t -> Tag.t