X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=97711dd60f6e0662c306c1ecc306e8eb8e0c1831;hb=9c56424fe98c1182060170c724ef603392c82074;hp=d44755ec4e0d0faa4967c3783d91162f4aafcd51;hpb=af9d790ca62e678e8e70ab8d8fa7f804985a75e0;p=tatoo.git

diff --git a/src/tree.ml b/src/tree.ml
index d44755e..97711dd 100644
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -107,5 +107,9 @@ sig
   (** [preorder t n] returns the pre-order position of [n] in [t].
       [preodrder t (root t) == 0] and [preorder t nil < 0].
   *)
+
+  val by_preorder : t -> int -> node
+  (** [by_preorder t i] returns the node with preorder [i]
+  *)
   val print_node : Format.formatter -> node -> unit
 end