You can search for identifiers within the package.
in-package search v0.2.0
type tyvar
val solver_tyvar : int -> tyvar
type 'a structure
type ty
val variable : tyvar -> ty
val structure : ty structure -> ty
val mu : tyvar -> ty -> ty
type scheme = tyvar list * ty