You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.lplib
Base.Int
type t = int
val compare : int -> int -> int