equal
deleted
inserted
replaced
1 (* ========================================================================= *) |
1 (* ========================================================================= *) |
2 (* ORDERED TYPES *) |
2 (* ORDERED TYPES *) |
3 (* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *) |
3 (* Copyright (c) 2004 Joe Hurd, distributed under the MIT license *) |
4 (* ========================================================================= *) |
4 (* ========================================================================= *) |
5 |
5 |
6 structure IntOrdered = |
6 structure IntOrdered = |
7 struct type t = int val compare = Int.compare end; |
7 struct type t = int val compare = Int.compare end; |
8 |
8 |