lean4-code-actions
Version:
Refactorings and snippets for Lean 4
8 lines (5 loc) • 488 B
text/typescript
import { BigNumberBasicArithmetic } from '../../BigNumber/BigNumberBasicArithmetic'
import { getQuotientHeteroBasicOperations } from '../getQuotientHeteroBasicOperations'
import { QuotientBigNumberBasicArithmetic } from './QuotientBigNumberBasicArithmetic'
export const QuotientBigNumberHeteroBasicOperations = getQuotientHeteroBasicOperations(BigNumberBasicArithmetic)(QuotientBigNumberBasicArithmetic)
export const { add, sub, mul, div, mod } = QuotientBigNumberHeteroBasicOperations