module PostDomBasic: PostDomDb(sigval is_accessible : 'a -> boolval dependencies : 'a listval name : stringval eval_cond : 'a -> 'b -> bool * boolend)(Db.Postdominators)
PostDomDb
(
sig
val is_accessible : 'a -> bool
'a -> bool
val dependencies : 'a list
'a list
val name : string
string
val eval_cond : 'a -> 'b -> bool * bool
'a -> 'b -> bool * bool
end
)
Db.Postdominators
include struct ... end