lean4-code-actions
Version:
Refactorings and snippets for Lean 4
8 lines (5 loc) • 461 B
text/typescript
import { BigIntBasicArithmetic } from '../../bigint/BigIntBasicArithmetic'
import { getQuotientHeteroBasicOperations } from '../getQuotientHeteroBasicOperations'
import { QuotientBigIntBasicArithmetic } from './QuotientBigIntBasicArithmetic'
export const QuotientBigIntHeteroBasicOperations = getQuotientHeteroBasicOperations(BigIntBasicArithmetic)(QuotientBigIntBasicArithmetic)
export const { add, sub, mul, div, mod } = QuotientBigIntHeteroBasicOperations