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