sig
type t = Value of Cilutil.StmtSet.t | Top
val hash : 'a -> '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