blob: 4db81972a969850e0a4226a086ce32ab7dd5b350 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
definition module WhileVars
from While import ::Var(..)
a :== Var 'a'; b :== Var 'b'; c :== Var 'c'; d :== Var 'd'; e :== Var 'e'
f :== Var 'f'; g :== Var 'g'; h :== Var 'h'; i :== Var 'i'; j :== Var 'j'
k :== Var 'k'; l :== Var 'l'; m :== Var 'm'; n :== Var 'n'; o :== Var 'o'
p :== Var 'p'; q :== Var 'q'; r :== Var 'r'; s :== Var 's'; t :== Var 't'
u :== Var 'u'; v :== Var 'v'; w :== Var 'w'; x :== Var 'x'; y :== Var 'y'
z :== Var 'z'
|
