import { type TTrim } from './internal/trim';
import { type TTake } from './internal/take';
import { type TMany } from './internal/many';
import { type TDigit } from './internal/char';
import { type TZero } from './internal/char';
import { type TNonZero } from './internal/char';
import { type TUnderScore } from './internal/char';
type TTakeNonZero<Input extends string> = (TTake<TNonZero, Input>);
type TAllowedDigits = [...TDigit, TUnderScore];
type TTakeDigits<Input extends string> = (TMany<TAllowedDigits, [TUnderScore], Input>);
type TTakeUnsignedInteger<Input extends string> = (TTake<[TZero], Input> extends [infer Zero extends string, infer ZeroRest extends string] ? [Zero, ZeroRest] : TTakeNonZero<Input> extends [infer NonZero extends string, infer NonZeroRest extends string] ? TTakeDigits<NonZeroRest> extends [infer Digits extends string, infer DigitsRest extends string] ? [`${NonZero}${Digits}`, DigitsRest] : [] : []);
/** Matches if next is a UnsignedInteger */
export type TUnsignedInteger<Input extends string> = (TTakeUnsignedInteger<TTrim<Input>>);
/** Matches if next is a UnsignedInteger */
export declare function UnsignedInteger<Input extends string>(input: Input): TUnsignedInteger<Input>;
export {};