Module Single_value_abstraction.Quadrivalent

type boolean = Lattices.Quadrivalent.boolean =
  1. | Bottom
  2. | True
  3. | False
  4. | Top
module Boolean_Lattice : sig ... end
val boolean_bottom : boolean
val of_bools : may_be_false:bool -> may_be_true:bool -> boolean
val truth_value : boolean -> Lattices.Quadrivalent.t
val convert_to_quadrivalent : boolean -> Lattices.Quadrivalent.t
val binary_pretty : Stdlib.Format.formatter -> boolean -> unit
val refine : older:boolean -> newer:boolean -> boolean option