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

Module `Boolean_Algebra.V`

val excluded_middle : BA.t -> bool