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