You can search for identifiers within the package.
in-package search v0.2.0
kernel
Lift.Load_grammar
module G : MenhirSdk.Cmly_api.GRAMMAR
val grammar : g grammar