lean4-code-actions/libs/utils/remeda/rangeBigInt.ts

Refactorings and snippets for Lean 4

/**
 * Can't reuse range() from 'remeda' because converting bigint to a number loses precision
 * start inclusive
 * end exclusive
 */
export const rangeBigInt = (start: bigint, end: bigint) => {
  const result = []
  for (let i = start; i < end; i++) result.push(i)
  return result
}