source: Deliverables/D2.2/8051/src/ASM/printOps.mli @ 486

Last change on this file since 486 was 486, checked in by ayache, 8 years ago

Deliverable D2.2

File size: 343 bytes
Line 
1
2(** This module provides functions to print the operators of the
3    MIPS processor. *)
4
5(* Pasted from Pottier's PP compiler *)
6
7open PrintPottier
8
9val unop: 'reg printer -> (MIPSOps.unop * 'reg * 'reg) printer
10val binop: MIPSOps.binop -> string
11val uncon: 'reg printer -> (MIPSOps.uncon * 'reg) printer
12val bincon: MIPSOps.bincon -> string
Note: See TracBrowser for help on using the repository browser.