source: Deliverables/D2.2/8051/src/common/hdwRegister.ml @ 486

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

Deliverable D2.2

File size: 227 bytes
Line 
1
2(** Hardware registers. *)
3
4module OrdInt =
5struct
6  type t = int
7  let compare = Pervasives.compare
8end
9
10type t = OrdInt.t
11let eq r1 r2 = OrdInt.compare r1 r2 = 0
12
13module Set = Set.Make(OrdInt)
14
15module Map = Map.Make(OrdInt)
Note: See TracBrowser for help on using the repository browser.