You can search for identifiers within the package.
in-package search v0.2.0
type t = Type.T.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
val nand : t -> t -> t
Not-and
val nor : t -> t -> t
Not-or
val imply : t -> t -> t
Implication
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
Create a chain of equalities.
val distinct : t list -> t
Distinct constraints on terms.