X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.mli;h=362bfa826ea00d5b55ccdca3640ba3078e9cc4bd;hb=82361b41bedcd7726f2601111a9591318079a120;hp=c56c22bd16b09e244de58d7075e2dc45790bb116;hpb=f98a8d98d86941a885f492d5cc134e34989c198a;p=SXSI%2Fxpathcomp.git

diff --git a/ata.mli b/ata.mli
index c56c22b..362bfa8 100644
--- 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