Module Compute.DomSet


module DomSet: sig .. end


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