UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 lines (3 loc) • 164 B
1
2
3
4
5
import { compareNumeralsBy } from '../../utils/numeral/sort' import { getLength } from './Array' export const compareArraysByLength = compareNumeralsBy(getLength)