Module Single_value_abstraction.Ternary

Simple abstraction of boolean values, including transfer function for the usual boolean operations.

type t =
  1. | False
  2. | True
  3. | TrueFalse
include Std_extra.Types.TYPE with type t := t
include Std_extra.Types.PRINTABLE with type t := t
val compare : t -> t -> int
val order : t -> t -> Std_extra.Types.order
val equal : t -> t -> bool
val hash : t -> int
val of_bool : bool -> t
val of_int : int -> t
val of_z : Z.t -> t
val not : t -> t
val (||) : t -> t -> t
val (&&) : t -> t -> t
val join : t -> t -> t
val meet : t -> t -> t option
val subseteq : t -> t -> bool