Single_value_abstraction.Ternary
Simple abstraction of boolean values, including transfer function for the usual boolean operations.
include Std_extra.Types.TYPE with type t := t
include Std_extra.Types.PRINTABLE with type t := t
val pp : t Std_extra.Types.pp
val order : t -> t -> Std_extra.Types.order
val hash : t -> int
val of_bool : bool -> t
val of_int : int -> t
val of_z : Z.t -> t