]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/common/hdwRegister.ml
Package description and copyright added.
[pkg-cerco/acc.git] / src / common / hdwRegister.ml
1
2 (** Hardware registers. *)
3
4 module OrdInt =
5 struct
6   type t = int
7   let compare = Pervasives.compare
8 end
9
10 type t = OrdInt.t
11 let eq r1 r2 = OrdInt.compare r1 r2 = 0
12
13 module Set = Set.Make(OrdInt)
14
15 module Map = Map.Make(OrdInt)