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

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