module LatticeDirty:sig
..end
type
t =
| |
Bottom |
| |
Dirty |
| |
Known |
val join : t ->
t -> t
val bottom : t
val is_included : t -> t -> bool
val join_and_is_included : t ->
t -> t * bool
val pretty : Format.formatter -> t -> unit