UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

7 lines (5 loc) • 224 B
1
2
3
4
5
6
7
import { BasicArithmetic } from '../arithmetic' /** * This function should be passed to array.sort() */ export const compare = <N>({ gt, lt }: BasicArithmetic<N>) => (a: N, b: N) => (lt(a, b)) ? -1 : ((gt(a, b)) ? 1 : 0)