lean4-code-actions/libs/utils/Quotient/QuotientBigInt/QuotientBigIntNativeOperations.ts

Refactorings and snippets for Lean 4

import { BigIntBasicArithmetic } from '../../bigint/BigIntBasicArithmetic'
import { getNativeOperations } from '../getNativeOperations'

export const QuotientBigIntNativeOperations = getNativeOperations(BigIntBasicArithmetic)

export const { setDenominator } = QuotientBigIntNativeOperations