You can search for identifiers within the package.
in-package search v0.2.0
val ty : Type.T.t -> Type.Ty.t
Get the type of a term.
val int : string -> Type.T.t
Integer literals
val rat : string -> Type.T.t
Rational literals
val real : string -> Type.T.t
Real literals
module Int : sig ... end
module Rat : sig ... end
module Real : sig ... end