From ADJUST-ARRAY: "The result is an array of the same type and rank as array, that is either the modified array, or a newly created array"
From the Glossary: "distinct adj. not identical." and "identical adj. the same under eq."
In this case, "the array returned by adjust-array is" *not* "distinct from array".
From ADJUST-ARRAY: "The result is an array of the same type and rank as array, that is either the modified array, or a newly created array"
From the Glossary: "distinct adj. not identical." and "identical adj. the same under eq."
In this case, "the array returned by adjust-array is" *not* "distinct from array".