Up – bastet » Bastet » Test » Option » M » Boolean_Algebra » V

Module `Boolean_Algebra.V`

val excluded_middle : BA.t -> bool