Module Compute.DomSet

module DomSet: sig .. end

type domset = 
| Value of Cil_datatype.Stmt.Hptset.t
| 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