You can search for identifiers within the package.
in-package search v0.2.0
codex.fixpoint
Region_analysis.Make
module N : NODE
val after : N.abstract_value -> N.abstract_value list N.Edge_Dict.t