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 real : string -> Type.T.t
Real literals
val _and : Type.T.t list -> Type.T.t
Conjunction of formulas
module Int : sig ... end
module Real : sig ... end