| JUMP_MANY of Ptset.Int.t
| CAPTURE_MANY of Ptset.Int.t
+val print_kind : Format.formatter -> jump_kind -> unit
+
val top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
val init : unit -> unit
+val get_trans : ?attributes:TagSet.t -> t -> StateSet.t -> Tag.t -> Translist.t * StateSet.t * StateSet.t