Returns a maximal subset of I such that each indicated slice of A along I is unique.
Declaration
Unique(A : Array[I] ; I : Index )
= When to use:
Use Unique to remove duplicate slices from an array, or to identify a single member of each equivalence class.
See also
Enable comment auto-refresher