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