1 (* Copyright (C) 2003-2006 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.
8 signature ADMITS_EQUALITY_STRUCTS =
12 signature ADMITS_EQUALITY =
14 include ADMITS_EQUALITY_STRUCTS
16 datatype t = Always | Never | Sometimes
18 val <= : t * t -> bool
19 val layout: t -> Layout.t
21 val toString: t -> string