You can search for identifiers within the package.
in-package search v0.2.0
alba.albalib
Ast.Source_entry
type named_signature = Expression.named_signature
type inductive = named_signature * named_signature array
type t =
| Normal of Expression.definition
| Inductive of inductive array