Module Boolean_Algebra.V

val excluded_middle : Bool.Boolean_Algebra.t -> bool