X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=43e8ff7bb6e22eb625993b214e2cc86b5b96a203;hb=f84dd2f6de7d5da16da729dc2e91cbdeb3585d75;hp=eb131391ce1f5f643c4034789ca275e811218940;hpb=7dea5fd8bedede27d4d601f85630a249bfab420b;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index eb13139..43e8ff7 100644
--- a/tree.mli
+++ b/tree.mli
@@ -17,8 +17,11 @@ sig
   val tag_pool : t -> Tag.pool
   val string : t -> string
   val descr : t -> descr
+  val is_node : t -> bool
   val left : t -> t
   val right : t -> t
+  val first_child : t -> t
+  val next_sibling : t -> t
   val parent : t -> t
   val id : t -> int
   val tag : t -> Tag.t