defs.cvc 47 B

1
  1. export int[2, 3] foo = [[1, 2, 3], [4, 5, 6]];