Single_value_abstraction.Quadrivalent
module Boolean_Forward :
Transfer_functions.Boolean_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
module Boolean_Backward :
Transfer_functions.Boolean_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
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