7 definition: "struct s {\n int a;\n}"
10 extent: '{ s[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19 }'
11 element_type: struct s
15 extent: '{ s_a[s[i0, i1] -> a[]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19
21 domain: '{ S_0[i, j] : i >= 0 and i <= 9 and j <= 19 and j >= 0 }'
22 schedule: '{ S_0[i, j] -> [0, i, j] }'
30 index: '{ S_0[i, j] -> s_a[s[(i), (j)] -> a[]] }'
31 reference: __pet_ref_0