lean4-code-actions/libs/utils/array/sort.ts

Refactorings and snippets for Lean 4

export const asStrings = <T>(getter: (object: T) => string) => (a: T, b: T) => getter(a).localeCompare(getter(b))