Go backward to Heterogeneous Arrays Go up to Top Go forward to Heterogeneous Arrays |
access-value: Nat* -> Denotable-value
->
Denotable-value
access-value = lambda nlist.lambda d.
null nlist -> d
[] (cases d of
isNatlocn(l) -> inErrvalue()
...
[] isArray(map, lower, upper)
->
let n = hd nlist
in (n lessthan lower)
or (n
greaterthan upper) ->
inErrvalue() []
(access-value (tl
nlist) (map n))
...
end)