Overloaded state, more boolean ops, unaliased Var

1 files changed, 11 insertions, 0 deletions

diff --git a/WhileVars.dcl b/WhileVars.dcl
new file mode 100644
index 0000000..4db8197
--- /dev/null
+++ b/WhileVars.dcl
@@ -0,0 +1,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'
+