You can search for identifiers within the package.
in-package search v0.2.0
codex.fixpoint
Fixpoint.Region_analysis
include module type of Region_analysis_sig
type 'node edge =
| Edge of 'node * 'node
| Exit of 'node
module type NODE = sig ... end
module Make (N : NODE) : sig ... end