Module N.DomTree

val dominates : node -> node -> bool

val domtree_postfix_iter : (node -> unit) -> unit