Documentation

output :: Spec Bool

testing :: Spec Bool

tSoonest :: Int -> Streams

tLatest :: Int -> Streams

tAlways :: Int -> Int -> Streams

tNext :: Int -> Streams

tFuture :: Int -> Int -> Streams

t0 :: Spec Bool

t1 :: Spec Bool

c :: Spec Bool

tUntil :: Int -> Int -> Int -> Streams

tRelease0 :: Int -> Streams

tRelease1 :: Int -> Int -> Streams

testRules :: Streams