import { type StrNum } from "https://deno.land/x/rimbu@0.13.1/typical/mod.ts";
const { PosNum } = StrNum;
Type that will return the incoming type if the value is a valid positive integer,
or never
otherwise.
definition: N extends Str.Append<PosDigit, infer Rest> ? Rest extends Str.TakeWhile<Rest, Digit> ? N : never : never