9 | OP_LEFT2 of State.t * State.t
10 | OP_RIGHT1 of State.t
11 | OP_RIGHT2 of State.t * State.t
12 | OP_LEFT1_RIGHT1 of State.t * State.t
13 | OP_LEFT2_RIGHT1 of State.t * State.t * State.t
14 | OP_LEFT1_RIGHT2 of State.t * State.t * State.t
15 | OP_LEFT2_RIGHT2 of State.t * State.t * State.t * State.t
17 | OP_SELF_LEFT1 of State.t
18 | OP_SELF_LEFT2 of State.t * State.t
19 | OP_SELF_RIGHT1 of State.t
20 | OP_SELF_RIGHT2 of State.t * State.t
21 | OP_SELF_LEFT1_RIGHT1 of State.t * State.t
22 | OP_SELF_LEFT2_RIGHT1 of State.t * State.t * State.t
23 | OP_SELF_LEFT1_RIGHT2 of State.t * State.t * State.t
24 | OP_SELF_LEFT2_RIGHT2 of State.t * State.t * State.t * State.t
25 | OP_OTHER of instr array
27 type code = Nil | Cons of State.t * opcode * code
29 val compile : (State.t * instr list) list -> code * bool
35 val exec : t -> t -> t -> Tree.node -> code -> unit
40 module NS : NodeSet.S with type t = int
42 val exec : t -> t -> t -> Tree.node -> code -> unit
47 module NS : NodeSet.S with type t = Tree.node NodeSet.mat
49 val exec : t -> t -> t -> Tree.node -> code -> unit