merge from local branch

[SXSI/xpathcomp.git] / ata.mli

diff --git a/ata.mli b/ata.mli
index c56c22b..362bfa8 100644 (file)
--- a/ata.mli
+++ b/ata.mli
@@ -67,5 +67,6 @@ val equal_trans : transition -> transition -> bool
 
   val top_down_count : 'a t -> Tree.t -> int
   val top_down : 'a t -> Tree.t -> IdSet.t
-  val bottom_up_count_contains : 'a t -> Tree.t -> int
-  val bottom_up_count : 'a t -> Tree.t -> Tag.t -> int
+
+  type jump_kind = [ `TAG of Tag.t | `CONTAINS of string | `NOTHING ]
+  val bottom_up_count : 'a t -> Tree.t -> jump_kind -> int