sig
  type t = Value of Cilutil.StmtSet.t | Top
  val hash : '-> 'b
  val pretty : Format.formatter -> Compute.DomSet.t -> unit
  val inter : Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t
  val equal : Compute.DomSet.t -> Compute.DomSet.t -> bool
  val add : Cilutil.StmtSet.elt -> Compute.DomSet.t -> Compute.DomSet.t
  val mem : Cilutil.StmtSet.elt -> Compute.DomSet.t -> bool
  val map :
    (Cilutil.StmtSet.t -> Cilutil.StmtSet.t) ->
    Compute.DomSet.t -> Compute.DomSet.t
end