bork

[clean-tests.git] / expr / exist / existFor.dcl

diff --git a/expr/exist/existFor.dcl b/expr/exist/existFor.dcl
new file mode 100644 (file)
index 0000000..3369ada
--- /dev/null
+++ b/expr/exist/existFor.dcl
@@ -0,0 +1,10 @@
+definition module whileFor
+
+import while
+
+:: WFor = WFor String Is WhileInt To WhileInt Do WhileExpr
+
+(*.) infixl 7
+(*.) a b :== WInt (WMult a b)
+
+instance evali WMult