Module Region_analysis_sig.Node.DomTree

module DomTree: sig .. end

val dominates : Region_analysis_sig.Node.node -> Region_analysis_sig.Node.node -> bool
val domtree_postfix_iter : (Region_analysis_sig.Node.node -> unit) -> unit