val jump_stat_summary : Format.formatter -> unit
type opcode =
- CACHE
- | RETURN
+ | RETURN of unit
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
+ | CACHE of unit
type t = opcode Cache.Lvl2.t
val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
val get_transitions : opcode -> Translist.t
+val init : unit -> unit