source: Deliverables/D2.2/8051/src/common/register.mli

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

Deliverable D2.2

File size: 302 bytes
Line 
1(* Pasted from Pottier's PP compiler *)
2
3(** This module offers an abstract type of pseudo-registers, used in
4    [RTL] and [ERTL].
5
6    This module really is a copy of module [Atom]. However,
7    [Register.t] is an abstract type -- it is not equal to [Atom.t] or
8    [Label.t]. *)
9
10include AtomSig.S
11
Note: See TracBrowser for help on using the repository browser.