Go backward to Heterogeneous Arrays Go up to Top

Heterogeneous Arrays

augment-array: Nat -> Denotable-value -> Array ->
    Denotable-value
augment-array = lambda n.lambda d.lambda (map, lower, upper).
    inArray([i |->d]map, lower, upper)

• Array can grow extra dimensions,
• Array indices can be expanded,
• Outer structure of array is preserved by augment-array.