You can search for identifiers within the package.
in-package search v0.2.0
codex.fixpoint
Fixpoint.Wto_utils
module type NODE = sig ... end
module Make (N : NODE) : sig ... end