Arrays.sdf3 pdmosses/metaborg-tiger/org.metaborg.lang.tiger.statix/syntax/Arrays.sdf3 1 2 3 4 5 6 7 8 9 10 11 12 module Arrays imports Base // Arrays context-free syntax Exp.Array = <<ID>[<Exp>] of <Exp>> Type.ArrayTy = <array of <ID>> LValue.Subscript = <<LValue>[<Exp>]> ×