src/ASM/MIPSInterpret.mli

   1 (* Adapted from Pottier's PP compiler *)
   2
   3 (** This module provides interpretations of the MIPS operators, for
   4     use in building interpreters or in the compiler itself. *)
   5
   6 val unop: MIPSOps.unop -> (Value.t -> Value.t)
   7 val binop: MIPSOps.binop -> (Value.t -> Value.t -> Value.t)
   8
   9 val uncon: MIPSOps.uncon -> (Value.t -> Value.t)
  10 val bincon: MIPSOps.bincon -> (Value.t -> Value.t -> Value.t)