sudan/index.d.ts

In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive

declare module "sudan" {
  export default function F(n: bigint, x: bigint, y: bigint): bigint;
}