Libabsolute.Kleene
This module implements a 3-valued logic
type t =
| False
| True
| Unknown
the type of truth values
val and_ : t -> t -> t
Conjunction
val or_ : t -> t -> t
Disjunction
val not_ : t -> t
Negation
val of_bool : bool -> t
boolean constructor