Verify.Boolean_Algebra
B : Interface.BOOLEAN_ALGEBRA
include sig ... end
val excluded_middle : B.t -> bool