You can search for identifiers within the package.
in-package search v0.2.0
Signature required by terms for typing tptp arithmetic.
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 rat : string -> t
Rational literals
val real : string -> t
Real literals
module Int : sig ... end
module Rat : sig ... end
module Real : sig ... end