Go backward to Declarations Go up to Top Go forward to Array Assignment

Array Indexing

S: Subscript -> Array -> Environment -> Store ->
    Storable-value
S[[E]] = lambda a.lambda e.lambda s.
    cases (E[[E]]e s) of
        ...
        [] isNat(n) -> access-array n a
        ...
    end
S[[E, S]] = lambda a.lambda e.lambda s.
    cases (E[[E]]e s) of
        ...
        [] isNat(n) ->
            (cases (access-array n a) of
                ...
                [] isArray(a') -> S[[S]]a' e s
                ...
            end)
        ...
    end