You can search for identifiers within the package.
in-package search v0.2.0
val int : Type.Ty.t
The type of integers
val rat : Type.Ty.t
The type of rationals
val real : Type.Ty.t
The type of reals
val equal : Type.Ty.t -> Type.Ty.t -> bool
Equality on types.