CocoR/Test1/gen/TIdx.mod

(* Generated by SimpleM backend *)
MODULE TIdx;
VAR
  x : INTEGER;
  v : ARRAY [1..5] OF INTEGER;
  r : REAL;
BEGIN
  x[1] := 2;
  v[r] := 3
END TIdx.