pub fn indices_sorted_unique<Idx: Ord>(idx: &[Idx]) -> bool
Returns true if idx is sorted ascending with no duplicates.
true
idx
The kernels in this module require this invariant but do not check it themselves.