You can search for identifiers within the package.
in-package search v0.2.0
codex.fixpoint
N.DomTree
val dominates : node -> node -> bool
val domtree_postfix_iter : (node -> unit) -> unit