class AREF{ELT} |
---|
UTF7 | OS_TIMEVAL | RUNE | ORDER_WEIGHT | ALT_DIGITS | FSET{_} | INTI | ARRAY{_} | OS_FLABEL |
for_all(first, second : SAME) : BOOL |
---|
**** |
__This_private_predicate_returns_true_if_and_only_if_all_elements_of ___first_and_second_are_the_same! |
is_legal_aelts_arg(beg, num : CARD, step : INT) : BOOL |
---|
**** | This predicate returns true if and only if the arguments are legal
___values_for_aelt_and_aset_iters_below. |