copilot-libraries-4.7.1: Libraries for the Copilot language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Library.Analysis

Description

Formally analyze streams.

Synopsis

Documentation

triviallyTrue :: Stream Bool -> Prop Universal Source #

Property that captures whether a stream is trivially true, meaning that there is no way to make it false.

triviallyFalse :: Stream Bool -> Prop Universal Source #

Property that captures whether a stream is trivially false, meaning that there is no way to make it true.