X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree%2Fsig.ml;h=e2db1d11983935c09e229f1458c9826254620ed3;hb=57952070c7b8276b042854718020483859caf94a;hp=aba591706a6c487969d93e02bbd1d83a3428c2f0;hpb=3f530996e51732a419f226bd0ed94f9ca94cd1a7;p=tatoo.git

diff --git a/src/tree/sig.ml b/src/tree/sig.ml
index aba5917..e2db1d1 100644
--- 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 *)