Module Compute.PostDomVal

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

include struct ... end