Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (*************************************************************************) |
2 | (* string-key.sml | |
3 | * | |
4 | * (C) 2002, Lucent Technologies, Bell Labs | |
5 | * | |
6 | * author: Matthias Blume (blume@research.bell-labs.com) | |
7 | *) | |
8 | structure StringKey = struct | |
9 | type ord_key = string | |
10 | val compare = String.compare | |
11 | end | |
12 | (*************************************************************************) | |
13 | (* string-set.sml | |
14 | * | |
15 | * (C) 2002, Lucent Technologies, Bell Labs | |
16 | * | |
17 | * author: Matthias Blume (blume@research.bell-labs.com) | |
18 | *) | |
19 | structure StringSet = RedBlackSetFn (StringKey) | |
20 | (*************************************************************************) | |
21 | (* string-map.sml | |
22 | * | |
23 | * (C) 2002, Lucent Technologies, Bell Labs | |
24 | * | |
25 | * author: Matthias Blume (blume@research.bell-labs.com) | |
26 | *) | |
27 | structure StringMap = RedBlackMapFn (StringKey) | |
28 | (*************************************************************************) | |
29 | structure IntListKey = struct | |
30 | type ord_key = int list | |
31 | val compare = List.collate Int.compare | |
32 | end | |
33 | (*************************************************************************) | |
34 | (* intlist-map.sml | |
35 | * | |
36 | * (C) 2002, Lucent Technologies, Bell Labs | |
37 | * | |
38 | * author: Matthias Blume (blume@research.bell-labs.com) | |
39 | *) | |
40 | structure IntListMap = RedBlackMapFn (IntListKey) | |
41 | (*************************************************************************) | |
42 | structure LargeIntKey = struct | |
43 | type ord_key = LargeInt.int | |
44 | val compare = LargeInt.compare | |
45 | end | |
46 | (*************************************************************************) | |
47 | structure LargeIntSet = RedBlackSetFn (LargeIntKey) | |
48 | (*************************************************************************) |