Fix the build script.

[tatoo.git] / src / tree / sig.ml

diff --git a/src/tree/sig.ml b/src/tree/sig.ml
index f9bd0b7..e2db1d1 100644 (file)
--- a/src/tree/sig.ml
+++ b/src/tree/sig.ml
@@ -14,10 +14,11 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-05 15:12:47 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-13 18:46:18 CET by Kim Nguyen>
 *)
 
 (** Implementation of documents as binary trees *)
+
 module type S =
 sig
   type node
@@ -26,6 +27,9 @@ sig
   type t
   (** The type of trees *)
 
+  val size : t -> int
+  (** Return the number of nodes *)
+
   val nil : node
   (** Nil node, denoting the first/second child of a leaf or the parent of
       the root *)
@@ -45,7 +49,6 @@ sig
   val print_xml : out_channel -> t -> node -> unit
   (** Outputs the tree as an XML document on the given output_channel *)
 
-
   val root : t -> node
   (** Returns the root of the tree *)
 
@@ -75,6 +78,9 @@ sig
       QName.text, QName.cdata_section or QName.comment
   *)
 
+  val kind : t -> node -> Common.NodeKind.t
+  (** Returns the kind of the given node *)
+
   val preorder : t -> node -> int
   (** Returns the position of a node in pre-order in the tree. The
     root has preorder 0. [nil] has pre-order [-1].