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

Last change on this file since 1542 was 1542, checked in by tranquil, 8 years ago

merge of indexed labels branch

File size: 318 bytes
Line 
1
2include StringTools
3
4module ImpMap = struct
5
6  type key =
7      Map.key
8 
9  type 'data t =
10      'data Map.t ref
11     
12  let create () =
13    ref Map.empty
14
15  let clear t =
16    t := Map.empty
17   
18  let add k d t =
19    t := Map.add k d !t
20
21  let find k t =
22    Map.find k !t
23
24  let iter f t =
25    Map.iter f !t
26
27end
Note: See TracBrowser for help on using the repository browser.