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