Module Compute.PostDomBasic

module PostDomBasic: PostDomDb(sig
val is_accessible : 'a -> bool
val dependencies : 'a list
val name : string
val eval_cond : 'a -> 'b -> bool * bool
end)(Db.Postdominators)

include struct ... end