lean4-code-actions/libs/utils/cage.test.ts

Refactorings and snippets for Lean 4

import { test } from '@jest/globals'
import { expect } from '../chai/init'
import { uncage, uncageP } from './cage'

test(uncage.name, () => {
  expect(uncage(1)).to.equal(1)
  expect(uncage(() => 1)).to.equal(1)
})

test(uncageP.name, async () => {
  expect(await uncageP(1)).to.equal(1)
  expect(await uncageP(() => 1)).to.equal(1)
  expect(await uncageP(async () => 1)).to.equal(1)
})