AbstractDomain.BooleanOr
Boolean domain ordered by ~p || q. Useful when you want a boolean that's true only when it's true in one conditional branch.
include S with type t = bool
include Comparable with type t = bool
include IStdlib.PrettyPrintable.PrintableType with type t = bool
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit
val bottom : t
The bottom value of the domain.
val is_bottom : t -> bool
Return true if this is the bottom value