module PostDomVal: PostDomDb(sigval is_accessible : Cil_types.stmt -> boolval dependencies : State.t listval name : stringval eval_cond : Cil_types.stmt -> 'a -> bool * boolend)(Db.PostdominatorsValue)
PostDomDb
(
sig
val is_accessible : Cil_types.stmt -> bool
Cil_types.stmt -> bool
val dependencies : State.t list
State.t list
val name : string
string
val eval_cond : Cil_types.stmt -> 'a -> bool * bool
Cil_types.stmt -> 'a -> bool * bool
end
)
Db.PostdominatorsValue
include struct ... end