| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
val get_transitions : opcode -> Translist.t
val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
val get_transitions : opcode -> Translist.t