Module Compare.Boolean_Algebra
Parameters
B : Interface.BOOLEAN_ALGEBRAE : Interface.EQ with type t = B.t
Signature
val excluded_middle : B.t -> bool
Compare.Boolean_AlgebraB : Interface.BOOLEAN_ALGEBRAE : Interface.EQ with type t = B.tval excluded_middle : B.t -> bool