Module Compare.Boolean_Algebra

Parameters

• B : Bastet.Interface.BOOLEAN_ALGEBRA
• E : Bastet.Interface.EQ with type t = B.t

Signature

val excluded_middle : B.t -> bool