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

Refactorings and snippets for Lean 4

export function betweenLeftRight(a: number, i: number, b: number) {
  return a <= i && i <= b
}

export function betweenRight(a: number, i: number, b: number) {
  return a < i && i <= b
}

export function betweenLeft(a: number, i: number, b: number) {
  return a <= i && i < b
}

export function roundDownBy(a: number, b: number) {
  return Math.trunc(a / b) * b
}