UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 lines (3 loc) • 155 B
1
2
3
4
5
import { rvi } from '../ReprValue' import { BigIntBasicArithmetic } from './BigIntBasicArithmetic' export const gtR = rvi(BigIntBasicArithmetic.gt, 'gt')