You can search for identifiers within the package.
in-package search v0.2.0
codex.fixpoint
Fixpoint.Wto_iteration
module type ABSTRACTDOMAIN = sig ... end
module WTOFixpoint (L : ABSTRACTDOMAIN) : sig ... end