Replace the Hashtbl.t used for mapping nodes to state-sets by an

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

diff --git a/src/tree/sig.ml b/src/tree/sig.ml
index aba5917..e2db1d1 100644 (file)
--- a/src/tree/sig.ml
+++ b/src/tree/sig.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-11 00:12:27 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 *)
@@ -27,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 *)