lean4-code-actions/libs/utils/bigint/BigIntAllRefinesR.ts

Refactorings and snippets for Lean 4

import { BigIntBasicRefinesR } from './BigIntBasicRefinesR'
import { BigIntTernaryRefinesR } from './BigIntTernaryRefinesR'

export const BigIntAllRefinesR = {
  ...BigIntBasicRefinesR,
  ...BigIntTernaryRefinesR,
}

export const refineR = BigIntAllRefinesR