Function boundedLengthTuple

boundedLengthTuple<
    Min extends StructuralPrefixLength,
    Max extends StructuralPrefixLength,
    A,
>(
    min: Min,
    max: Max,
    elementType: Type<A>,
    options?: Partial<
        Readonly<
            { defaultValue: BoundedLengthTuple<Min, Max, A>; typeName: string },
        >,
    >,
): Type<BoundedLengthTuple<Min, Max, A>>

boundedLengthTuple<Min extends StructuralPrefixLength, A>(
    min: Min,
    max: number,
    elementType: Type<A>,
    options?: Partial<
        Readonly<
            {
                defaultValue: readonly [MakeTupleImpl<A, `${Min}`, []>, A];
                typeName: string;
            },
        >,
    >,
): Type<MinLengthTuple<Min, A>>

boundedLengthTuple<Max extends StructuralPrefixLength, A>(
    min: number,
    max: Max,
    elementType: Type<A>,
    options?: Partial<
        Readonly<{ defaultValue: MaxLengthTuple<Max, A>; typeName: string }>,
    >,
): Type<MaxLengthTuple<Max, A>>

boundedLengthTuple<A>(
    min: number,
    max: number,
    elementType: Type<A>,
    options?: Partial<
        Readonly<{ defaultValue: readonly A[]; typeName: string }>,
    >,
): Type<readonly A[]>