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

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 *)