abstract class $ARR{ETP} < $RO_ARR{ETP} is
-- This abstract class models the general array where the indices are
-- cardinal numbers less than the array size. It is similar to a MAP from
-- numbers to elements, but has more more restrictive conditions.
aset(
index : CARD,
elem : ETP
) ;
-- Provided that the pre-condition has_ind(index) is satisfied then
-- this routine sets the element of the array which corresponds to index to
-- have the value elem.
set!(
elem : ETP
) ;
-- This iter sets all elements of the list in turn before finally quitting.