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