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

Refactorings and snippets for Lean 4

import { BigIntBasicAssertions } from './BigIntBasicAssertions'
import { BigIntTernaryAssertions } from './BigIntTernaryAssertions'

export const BigIntAllAssertions = {
  ...BigIntBasicAssertions,
  ...BigIntTernaryAssertions,
}

export const assert = BigIntAllAssertions

export const assertBigInt = BigIntAllAssertions