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