Next: Non-strict Mapping, Previous: Mapping Structs, Up: Mapping [Contents][Index]
Arrays can be mapped in IO space in three different ways, depending on the characteristics of the type provided to the mapping operator.
| • Array maps bounded by number of elements: | ||
| • Array maps bounded by size: | ||
| • Unbounded array maps: | ||
| • Mapped bounds in bounded arrays: |