You can search for identifiers within the package.
in-package search v0.2.0
Minimum required to type tptp's tff
type t
The type of terms
val _true : t
The smybol for true
true
val _false : t
The symbol for false
false
val neg : t -> t
Negation.
val _or : t list -> t
Disjunction of formulas
val _and : t list -> t
Conjunction of formulas
val nand : t -> t -> t
Not-and
val nor : t -> t -> t
Not-or
val imply : t -> t -> t
Implication
val implied : t -> t -> t
val equiv : t -> t -> t
Equivalence
val xor : t -> t -> t
Exclusive disjunction.
val ite : t -> t -> t -> t
ite condition then_t else_t creates a conditional branch.
ite condition then_t else_t
val eq : t -> t -> t
Build the equality of two terms.
val neq : t -> t -> t
Disequality.
val distinct : t list -> t
Distinct constraints on terms.