copilot-language-2.2.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Language.Operators.Propositional

Documentation

not :: Negatable a b => a -> b Source #