source: Deliverables/D2.3/8051/src/ASM/MIPSInterpret.mli @ 453

Last change on this file since 453 was 453, checked in by ayache, 10 years ago

Import of the Paris's sources.

File size: 393 bytes
Line 
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
6val unop: MIPSOps.unop -> (Value.t -> Value.t)
7val binop: MIPSOps.binop -> (Value.t -> Value.t -> Value.t)
8
9val uncon: MIPSOps.uncon -> (Value.t -> Value.t)
10val bincon: MIPSOps.bincon -> (Value.t -> Value.t -> Value.t)
Note: See TracBrowser for help on using the repository browser.