UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

7 lines (5 loc) • 277 B
1
2
3
4
5
6
7
import { bigInt } from 'fast-check' import { zero } from '../../bigint/BigIntBasicArithmetic' import { compareNumerals } from '../../numeral/sort' import { getQuotientArb } from './getQuotientArb' export const quotientBigIntArb = getQuotientArb(bigInt, zero, compareNumerals)