type jump =
- NOP of unit
| FIRST_CHILD of StateSet.t
| NEXT_SIBLING of StateSet.t
| FIRST_ELEMENT of StateSet.t
val jump_stat_summary : Format.formatter -> unit
type opcode =
- CACHE of unit
- | RETURN of unit
+ CACHE
+ | RETURN
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
val create : unit -> t
-val stats : Format.formatter -> t -> unit
+(*val stats : Format.formatter -> t -> unit *)
val find : t -> int -> StateSet.Node.t -> opcode