Module Node.DomTree

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