(* Adapted from Pottier's PP compiler *)

(** This module provides interpretations of the MIPS operators, for
    use in building interpreters or in the compiler itself. *)

val unop: MIPSOps.unop -> (Value.t -> Value.t)
val binop: MIPSOps.binop -> (Value.t -> Value.t -> Value.t)

val uncon: MIPSOps.uncon -> (Value.t -> Value.t)
val bincon: MIPSOps.bincon -> (Value.t -> Value.t -> Value.t)