UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 107 B
1
2
3
4
import { NonEmptyArray } from './index' export const firstNE = <V>(values: NonEmptyArray<V>) => values[0]