module DomTree: sig .. end
sig
end
val dominates : Region_analysis_sig.Node.node -> Region_analysis_sig.Node.node -> bool
Region_analysis_sig.Node.node -> Region_analysis_sig.Node.node -> bool
val domtree_postfix_iter : (Region_analysis_sig.Node.node -> unit) -> unit
(Region_analysis_sig.Node.node -> unit) -> unit