You can search for identifiers within the package.
in-package search v0.2.0
exception InvalidLambdaString
val parse : string -> L.term
parse s converts s to a term, or raise InvalidLambdaString on failures
parse s