Copilot.Language.Operators.Propositional
Description
Implement negation over quantified extensions of boolean streams.
For details, see Prop.
Prop
not :: Negatable a b => a -> b Source #
Negate a proposition.