Arrays of non-header types

[ChrisDodd]

P4 uses array syntax for header stacks, which are declared like arrays of a header type and can be indexed with normal (C/java) array indexing syntax, but also support some added special features (push/pop/next/last methods) which work on the header's valid bits.

Should we consider arrays of non-header types? These could not support those special methods, but could be used as normal arrays.

[jonathan-dilorenzo]

Discussed in P4 LDWG. We are generally supportive of adding this to the specification.