UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 lines (3 loc) • 224 B
1
2
3
4
5
import { getTernaryAssertions } from '../arithmetic/getAssertions' import { BigIntTernaryComparisons } from './BigIntTernaryComparisons' export const BigIntTernaryAssertions = getTernaryAssertions(BigIntTernaryComparisons)