LOCAL i : INTEGER; END_LOCAL; REPEAT i := 1 TO HIINDEX (values); IF NOT (appropriate_value_existence (values[i], type_self)) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE);