copilot-0.23: A stream DSL for writing embedded C monitors.

Language.Copilot.Variables

Description

Variable names

Documentation

b :: String Source

c :: String Source

d :: String Source

e :: String Source

f :: String Source

g :: String Source

h :: String Source

i :: String Source

j :: String Source

k :: String Source

l :: String Source

m :: String Source

n :: String Source

o :: String Source

p :: String Source

q :: String Source

r :: String Source

s :: String Source

t :: String Source

u :: String Source

v :: String Source

w :: String Source

x :: String Source

y :: String Source

z :: String Source

a :: String Source