You can search for identifiers within the package.
in-package search v0.2.0
logtk.proofs
LLTerm.Conv
type ctx
val create : unit -> ctx
val of_term : ctx -> Logtk.TypedSTerm.t -> t