You can search for identifiers within the package.
in-package search v0.2.0
Minimum required to type ae's tff
type t
The type of terms
type term_var
The type of term variables
val void : t
The only value of type unit.
val eq : t -> t -> t
Build the equality of two 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 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 distinct : t list -> t
Distinct constraints on terms.
val in_interval : t -> (bool * bool) -> t -> t -> t
Semantic trigger: "in interval" check.
val maps_to : term_var -> t -> t
Semantic trigger: maps to.