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

Refactorings and snippets for Lean 4

import { test } from '@jest/globals'
import { expect } from '../../chai/init'
import { roundDownBy } from './utils'

test(roundDownBy.name, async function () {
  expect(roundDownBy(9, 3)).to.equal(9)
  expect(roundDownBy(10, 3)).to.equal(9)
  expect(roundDownBy(11, 3)).to.equal(9)
  expect(roundDownBy(12, 3)).to.equal(12)
})