1 (* Copyright (C) 1999-2006 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 TWO_POINT_LATTICE_STRUCTS =
11 (* pretty print names *)
16 signature TWO_POINT_LATTICE =
18 include TWO_POINT_LATTICE_STRUCTS
22 val <= : t * t -> unit (* force rhs to be top if lhs is *)
23 val == : t * t -> unit (* force lhs and rhs to be the same *)
24 (* handler will be run once iff value becomes top *)
25 val addHandler: t * (unit -> unit) -> unit
26 val isBottom: t -> bool
28 val layout: t -> Layout.t
29 val makeTop: t -> unit
30 val new: unit -> t (* a new bottom *)