| 395 | } |
| 396 | |
| 397 | array::array_proxy array::operator()(const index &s0) { |
| 398 | return const_cast<const array *>(this)->operator()(s0); |
| 399 | } |
| 400 | |
| 401 | array::array_proxy array::operator()(const index &s0, const index &s1, |
| 402 | const index &s2, const index &s3) { |