source: Deliverables/D2.2/8051/src/common/label.ml @ 1584

Last change on this file since 1584 was 1584, checked in by tranquil, 8 years ago
  • new form of translation written in graphUtilites (mainly as a test before implementation in Matita)
  • rewritten multiplication in RTLasbToRTL
File size: 334 bytes
Line 
1
2include StringTools
3
4let dummy = ""
5
6module ImpMap = struct
7
8  type key =
9      Map.key
10 
11  type 'data t =
12      'data Map.t ref
13     
14  let create () =
15    ref Map.empty
16
17  let clear t =
18    t := Map.empty
19   
20  let add k d t =
21    t := Map.add k d !t
22
23  let find k t =
24    Map.find k !t
25
26  let iter f t =
27    Map.iter f !t
28
29end
Note: See TracBrowser for help on using the repository browser.