You can search for identifiers within the package.
in-package search v0.2.0
herdtools7.asllib
Asllib.Asl_stdlib
val stdlib : string
val stdlib0 : string