You can search for identifiers within the package.
in-package search v0.2.0
Signature for substitution functions over types and terms
type ty
type ty_var
type term
type term_var
val ty_subst : (ty_var * ty) list -> ty -> ty
val term_subst : (ty_var * ty) list -> (term_var * term) list -> term -> term