Module Mem_lvalue.LatticeDirty

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