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

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