1 (* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
3 * Copyright (C) 1997-2000 NEC Research Institute.
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
9 signature FLAT_LATTICE_STRUCTS =
15 val equals: t * t -> bool
16 val layout: t -> Layout.t
20 signature FLAT_LATTICE =
22 include FLAT_LATTICE_STRUCTS
26 val <= : t * t -> bool
27 val forcePoint: t * Point.t -> bool
28 val forceTop: t -> bool
29 val getPoint: t -> Point.t option
30 val isBottom: t -> bool
31 val isPoint: t -> bool
32 val isPointEq: t * Point.t -> bool
34 val layout: t -> Layout.t
35 val lowerBound: t * Point.t -> bool
37 val point: Point.t -> t
38 val upperBound: t * Point.t -> bool