You can search for identifiers within the package.
in-package search v0.2.0
type gen = QL.genkind * Var.var * QL.t
val inner : QL.t -> QL.t
val query : QL.t -> QL.t list