copilot-0.25: A stream DSL for writing embedded C monitors.
Language.Copilot.Examples.PTLTLExamples
tstdatprv :: StreamsSource
tprv :: StreamsSource
tstdatAB :: StreamsSource
tAB :: StreamsSource
tstdatEP :: StreamsSource
tEP :: StreamsSource
tstdat1Sin :: StreamsSource
tstdat2Sin :: StreamsSource
tSince :: StreamsSource
tSinExt :: StreamsSource
tSinExt2 :: StreamsSource
engineOff :: StringSource
coolerOn :: StringSource
monitor :: StringSource
temp :: StringSource
cooler :: StringSource
off :: StringSource
cnt :: StringSource
engineTemp :: StringSource
engine :: StreamsSource
engineRun :: IO ()Source