From 97325a5ef30b63c68adaffb69a0bcfa7f1135d64 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 10:36:49 +0200
Subject: Induction proofs using variables & assumptions

---
 SmurfParse.dcl | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'SmurfParse.dcl')

diff --git a/SmurfParse.dcl b/SmurfParse.dcl
index fb06ab3..e0ad868 100644
--- a/SmurfParse.dcl
+++ b/SmurfParse.dcl
@@ -2,7 +2,14 @@ definition module SmurfParse
 
 from Data.Maybe import ::Maybe
 
-from Smurf import ::Program, ::Stm
+from Smurf import ::Program, ::Stm, ::Expr
+
+:: VarChar = Char Char
+           | VarString String
+           | Quoted Expr
+
+eToVarChars :: Expr -> [VarChar]
 
 parse :: ![Char] -> Maybe Program
+parsev :: ![VarChar] -> Maybe Program
 
-- 
cgit v1.2.3