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