| changeset 23442 | 028e39e5e8f3 |
| child 23510 | 4521fead5609 |
| 23441:ee218296d635 | 23442:028e39e5e8f3 |
|---|---|
1 (* ========================================================================= *) |
|
2 (* ORDERED TYPES *) |
|
3 (* Copyright (c) 2004-2006 Joe Hurd, distributed under the GNU GPL version 2 *) |
|
4 (* ========================================================================= *) |
|
5 |
|
6 structure IntOrdered = |
|
7 struct type t = int val compare = Int.compare end; |
|
8 |
|
9 structure StringOrdered = |
|
10 struct type t = string val compare = String.compare end; |