UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

9 lines (7 loc) • 236 B
1
2
3
4
5
6
7
8
9
import { expect, test } from '@jest/globals' import { allEqual } from './allEqual' test(allEqual.name, () => { expect(allEqual([])).toBeTruthy() expect(allEqual([1, 1, 1])).toBeTruthy() expect(allEqual([1, 2, 1])).toBeFalsy() })