Sjit/Syntax.dcl


1
2
3
4
5
6
7
8
9
10
11
12

definition module Sjit.Syntax

:: Expr
	= Int !Int
	| Var !String
	| App !String ![Expr]

:: Function =
	{ fun_name :: !String
	, fun_args :: ![String]
	, fun_expr :: !Expr
	}