1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
10 datatype t = datatype order (* from the pervasive environment *)
12 val compare: ('a * 'a -> t)
13 -> {equals: 'a * 'a -> bool,
20 val equals: t * t -> bool
21 val layout: t -> Layout.t
22 val lexico: t * (unit -> t) -> t
23 val lessEqual: {< : 'a * 'a -> bool,
24 equals: 'a * 'a -> bool}
25 -> {> : 'a * 'a -> bool,
30 compare: 'a * 'a -> t}