Import Upstream version 20180207
[hcoop/debian/mlton.git] / lib / mlton / basic / order0.sig
CommitLineData
7f918cf1
CE
1(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
3 *
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
6 *)
7
8signature ORDER0 =
9 sig
10 type t
11
12 val compare: t * t -> Relation.t
13 val equals: t * t -> bool
14 val < : t * t -> bool
15 val <= : t * t -> bool
16 val > : t * t -> bool
17 val >= : t * t -> bool
18 val max: t * t -> t
19 val min: t * t -> t
20 end