Function bigint

bigint(
    defaultValue?: bigint,
): ConstrainedType<
    bigint,
    Readonly<
        {
            gt: undefined;
            gte: undefined;
            lt: undefined;
            lte: undefined;
            max: undefined;
            min: undefined;
            multipleOf: undefined;
            negative: undefined;
            nonNegative: undefined;
            nonPositive: undefined;
            nonZero: undefined;
            positive: undefined;
            step: undefined;
        },
    >,
>

bigint<
    N extends bigint,
    const C extends
        Partial<
            Readonly<
                {
                    gt: bigint;
                    gte: bigint;
                    lt: bigint;
                    lte: bigint;
                    max: bigint;
                    min: bigint;
                    multipleOf: bigint;
                    negative: true;
                    nonNegative: true;
                    nonPositive: true;
                    nonZero: true;
                    positive: true;
                    step: bigint;
                },
            >,
        >,
>(
    defaultValue: N & DefaultValueWhenNonZeroIsOn<N, C> & DefaultValueWhenNegativeIsOn<
        N,
        C,
    > & DefaultValueWhenNonNegativeIsOn<N, C> & DefaultValueWhenPositiveIsOn<
        N,
        C,
    > & DefaultValueWhenNonPositiveIsOn<N, C>,
    constraints: C,
): ConstrainedType<
    bigint,
    Readonly<
        {
            gt: "gt" extends keyof C ? C[keyof C & "gt"] : undefined;
            gte: "gte" extends keyof C ? C[keyof C & "gte"] : undefined;
            lt: "lt" extends keyof C ? C[keyof C & "lt"] : undefined;
            lte: "lte" extends keyof C ? C[keyof C & "lte"] : undefined;
            max: "max" extends keyof C ? C[keyof C & "max"] : undefined;
            min: "min" extends keyof C ? C[keyof C & "min"] : undefined;
            multipleOf: "multipleOf" extends keyof C
                ? C[keyof C & "multipleOf"]
                : undefined;
            negative: "negative" extends keyof C
                ? C[keyof C & "negative"]
                : undefined;
            nonNegative: "nonNegative" extends keyof C
                ? C[keyof C & "nonNegative"]
                : undefined;
            nonPositive: "nonPositive" extends keyof C
                ? C[keyof C & "nonPositive"]
                : undefined;
            nonZero: "nonZero" extends keyof C ? C[keyof C & "nonZero"] : undefined;
            positive: "positive" extends keyof C
                ? C[keyof C & "positive"]
                : undefined;
            step: "step" extends keyof C ? C[keyof C & "step"] : undefined;
        },
    >,
>