sig
type instruction =
Ldi of int
| Push
| IOp of Op.t
| Extend
| Search of int
| Pushenv
| Popenv
| Mkclos of Code.code
| Mkclosrec of Code.code
| Apply
| Test of Code.code * Code.code
and code = Code.instruction list
val print_instruction : Pervasives.out_channel -> Code.instruction -> unit
val print_code : Pervasives.out_channel -> Code.code -> unit
end