Variables.sdf3 pdmosses/metaborg-tiger/org.metaborg.lang.tiger.statix/syntax/Variables.sdf3 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 module Variables imports Base context-free syntax Dec.VarDec = <var <ID> : <Type> := <Exp>> Dec.VarDecNoType = <var <ID> := <Exp>> Var.Var = ID LValue = Var Exp = LValue ×