module DomSet:sig
..end
type
domset =
| |
Value of |
| |
Top |
val inter : domset -> domset -> domset
val add : Cil_datatype.Stmt.Hptset.elt ->
domset -> domset
val mem : Cil_datatype.Stmt.Hptset.elt -> domset -> bool
val map : (Cil_datatype.Stmt.Hptset.t -> Cil_datatype.Stmt.Hptset.t) ->
domset -> domset
include struct ... end