Module

Test.Abides.Data.BooleaneanAlgebra

#excludedMiddle

excludedMiddle :: forall a. BooleanAlgebra a => Eq a => a -> Boolean

Modules