You can search for identifiers within the package.
in-package search v0.2.0
Minimum required to type ae's arith
type t
The type of terms.
type ty
The type of types.
val ty : t -> ty
Get the type of a term.
val int : string -> t
Integer literals
val real : string -> t
Real literals
val _and : t list -> t
Conjunction of formulas
module Int : sig ... end
module Real : sig ... end