You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.tool
Tool.Websearch
val start : port:int -> unit -> unit