You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.core
Core.Version
Version informations.
val version : string
version gives a version description.
version