type-plus 7.4.0 → 7.6.0

package/cjs/testing/test_type.d.ts

@@ -22,214 +22,282 @@ import type { IsTuple } from '../tuple/tuple_type.js';
 import type { IsUndefined } from '../undefined/undefined_type.js';
 import type { IsUnknown } from '../unknown/unknown_type.js';
 import type { IsVoid } from '../void/void_type.js';
-interface TestType {
-    /**
-     * Check if type `A` is equal to type `B` and `C`.
-     *
-     * @return `expected` as `A` for type inspection.
-     */
-    equal<A, B, C>(expected: IsEqual<A, B> & IsEqual<A, C>): A;
-    /**
-     * Check if type `A` is equal to type `B`.
-     *
-     * @return `expected` as `A` for type inspection.
-     */
-    equal<A, B>(expected: IsEqual<A, B>): A;
-    /**
-     * Check if `A` can assign to `B`.
-     *
-     * If `A` is a union,
-     * the check is distributive.
-     *
-     * Meaning the result can be `boolean`,
-     * meaning both `true` and `false` will pass.
-     *
-     * If you want to avoid the distributivity,
-     * use `testType.strictCanAssign()` instead.
-     *
-     * @example
-     * ```ts
-     * testType.canAssign<123, number> // true
-     *
-     * testType.canAssign<number | string, number> // boolean
-     * ```
-     *
-     * @return `expected` as `A` for type inspection.
-     */
-    canAssign<A, B>(expected: CanAssign<A, B>): A;
-    /**
-     * Check if `A` can fully assign to `B`.
-     *
-     * This checks all branches in an union `A` are assignable to `B`.
-     *
-     * @example
-     * ```ts
-     * testType.strictCanAssign<number | string, number | string> // true
-     *
-     * testType.strictCanAssign<number | string, number> // false
-     * ```
-     *
-     * @return `expected` as `A` for type inspection.
-     */
-    strictCanAssign<A, B>(expected: StrictCanAssign<A, B>): A;
-    /**
-     * Check if type `T` is exactly `any`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    any<T>(expected: IsAny<T>): T;
-    /**
-     * Check if type `T` is exactly `array`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    array<T>(expected: IsArray<T>): T;
-    /**
-     * Check if type `T` is exactly `bigint`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictBigint<T>(expected: IsStrictBigint<T>): T;
-    /**
-     * Check if type `T` is `bigint` or bigint literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    bigint<T>(expected: IsBigint<T>): T;
-    /**
-     * Check if type `T` is exactly `boolean`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictBoolean<T>(expected: IsStrictBoolean<T>): T;
-    /**
-     * Check if type `T` is `boolean` and boolean literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    boolean<T>(expected: IsBoolean<T>): T;
-    /**
-     * Check if type `T` is exactly `true`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    true<T>(expected: IsTrue<T>): T;
-    /**
-     * Check if type `T` is exactly `false`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    false<T>(expected: IsFalse<T>): T;
-    /**
-     * Check if type `T` is exactly `boolean`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictFunction<T>(expected: IsStrictFunction<T>): T;
-    /**
-     * Check if type `T` is `boolean` and boolean literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    function<T>(expected: IsFunction<T>): T;
-    /**
-     * Check if type `T` is exactly `never`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    never<T>(expected: IsNever<T>): T;
-    /**
-     * Check if type `T` is exactly `null`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    null<T>(expected: IsNull<T>): T;
-    /**
-     * Check if type `T` is exactly `number`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictNumber<T>(expected: IsStrictNumber<T>): T;
-    /**
-     * Check if type `T` is `number` or number literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    number<T>(expected: IsNumber<T>): T;
-    /**
-     * Check if type `T` is `object`.
-     *
-     * Note that `Function`, `Array`, and *tuple* are also `object`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    object<T>(expected: IsObject<T>): T;
-    /**
-     * Check if type `T` is exactly `string`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictString<T>(expected: IsStrictString<T>): T;
-    /**
-     * Check if type `T` is `string` or string literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    string<T>(expected: IsString<T>): T;
-    /**
-     * Check if type `T` is a `symbol`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    symbol<T>(expected: IsSymbol<T>): T;
-    /**
-     * Check if type `T` is a *tuple*.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    tuple<T>(expected: IsTuple<T>): T;
-    /**
-     * Check if type `T` is exactly `undefined`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    undefined<T>(expected: IsUndefined<T>): T;
-    /**
-     * Check if type `T` is exactly `unknown`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    unknown<T>(expected: IsUnknown<T>): T;
-    /**
-     * Check if type `T` is exactly `void`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    void<T>(expected: IsVoid<T>): T;
-    /**
-     * A quick way to inspect a type.
-     *
-     * The handler receives a `InspectedType` object.
-     * It contains `value` which is typed to `T`,
-     * and many other properties to inspect the behavior of `T`.
-     *
-     * The handler is not being call,
-     * it is use to hold the type in value for inspection.
-     *
-     * 🧪 *testing*
-     * 🦴 *utilities*
-     *
-     * @example
-     * ```ts
-     * testType.inspect<SomeType>(t => {
-     *   type T = typeof t.value // resolve and inspect the type `T`
-     *   t.extend_boolean // result of `T extends boolean`
-     * })
-     * ```
-     *
-     * After trying out the type, remove the line.
-     */
-    inspect<T>(handler: (t: InspectedType<T>) => unknown): T;
+export declare namespace testType {
+    interface TestType {
+        /**
+         * Check if type `A` is equal to type `B` and `C`.
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        equal<A, B, C>(expected: IsEqual<A, B> & IsEqual<A, C>): A;
+        /**
+         * Check if type `A` is equal to type `B`.
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        equal<A, B>(expected: IsEqual<A, B>): A;
+        /**
+         * Check if `A` can assign to `B`.
+         *
+         * If `A` is a union,
+         * the check is distributive.
+         *
+         * Meaning the result can be `boolean`,
+         * meaning both `true` and `false` will pass.
+         *
+         * If you want to avoid the distributivity,
+         * use `testType.strictCanAssign()` instead.
+         *
+         * @example
+         * ```ts
+         * testType.canAssign<123, number> // true
+         *
+         * testType.canAssign<number | string, number> // boolean
+         * ```
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        canAssign<A, B>(expected: CanAssign<A, B>): A;
+        /**
+         * Check if `A` can fully assign to `B`.
+         *
+         * This checks all branches in an union `A` are assignable to `B`.
+         *
+         * @example
+         * ```ts
+         * testType.strictCanAssign<number | string, number | string> // true
+         *
+         * testType.strictCanAssign<number | string, number> // false
+         * ```
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        strictCanAssign<A, B>(expected: StrictCanAssign<A, B>): A;
+        /**
+         * Check if type `T` is exactly `any`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        any<T>(expected: IsAny<T>): T;
+        /**
+         * Check if type `T` is exactly `array`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        array<T>(expected: IsArray<T>): T;
+        /**
+         * Check if type `T` is exactly `bigint`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictBigint<T>(expected: IsStrictBigint<T>): T;
+        /**
+         * Check if type `T` is `bigint` or bigint literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        bigint<T>(expected: IsBigint<T>): T;
+        /**
+         * Check if type `T` is exactly `boolean`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictBoolean<T>(expected: IsStrictBoolean<T>): T;
+        /**
+         * Check if type `T` is `boolean` and boolean literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        boolean<T>(expected: IsBoolean<T>): T;
+        /**
+         * Check if type `T` is exactly `true`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        true<T>(expected: IsTrue<T>): T;
+        /**
+         * Check if type `T` is exactly `false`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        false<T>(expected: IsFalse<T>): T;
+        /**
+         * Check if type `T` is exactly `boolean`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictFunction<T>(expected: IsStrictFunction<T>): T;
+        /**
+         * Check if type `T` is `boolean` and boolean literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        function<T>(expected: IsFunction<T>): T;
+        /**
+         * Check if type `T` is exactly `never`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        never<T>(expected: IsNever<T>): T;
+        /**
+         * Check if type `T` is exactly `null`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        null<T>(expected: IsNull<T>): T;
+        /**
+         * Check if type `T` is exactly `number`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictNumber<T>(expected: IsStrictNumber<T>): T;
+        /**
+         * Check if type `T` is `number` or number literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        number<T>(expected: IsNumber<T>): T;
+        /**
+         * Check if type `T` is `object`.
+         *
+         * Note that `Function`, `Array`, and *tuple* are also `object`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        object<T>(expected: IsObject<T>): T;
+        /**
+         * Check if type `T` is exactly `string`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictString<T>(expected: IsStrictString<T>): T;
+        /**
+         * Check if type `T` is `string` or string literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        string<T>(expected: IsString<T>): T;
+        /**
+         * Check if type `T` is a `symbol`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        symbol<T>(expected: IsSymbol<T>): T;
+        /**
+         * Check if type `T` is a *tuple*.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        tuple<T>(expected: IsTuple<T>): T;
+        /**
+         * Check if type `T` is exactly `undefined`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        undefined<T>(expected: IsUndefined<T>): T;
+        /**
+         * Check if type `T` is exactly `unknown`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        unknown<T>(expected: IsUnknown<T>): T;
+        /**
+         * Check if type `T` is exactly `void`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        void<T>(expected: IsVoid<T>): T;
+        /**
+         * A quick way to inspect a type.
+         *
+         * The handler receives a `InspectedType` object.
+         * It contains `value` which is typed to `T`,
+         * and many other properties to inspect the behavior of `T`.
+         *
+         * The handler is not being call,
+         * it is use to hold the type in value for inspection.
+         *
+         * 🧪 *testing*
+         * 🦴 *utilities*
+         *
+         * @example
+         * ```ts
+         * testType.inspect<SomeType>(t => {
+         *   type T = typeof t.value // resolve and inspect the type `T`
+         *   t.extend_boolean // result of `T extends boolean`
+         * })
+         * ```
+         *
+         * After trying out the type, remove the line.
+         */
+        inspect<T>(handler: (t: InspectedType<T>) => unknown): T;
+    }
+    type InspectedType<T> = {
+        type: T;
+        extends<R>(): T extends R ? true : false;
+        extends_any: T extends any ? true : false;
+        extends_unknown: T extends unknown ? true : false;
+        extends_void: T extends void ? true : false;
+        extends_never: T extends never ? true : false;
+        extends_undefined: T extends undefined ? true : false;
+        extends_null: T extends null ? true : false;
+        extends_boolean: T extends boolean ? true : false;
+        extends_true: T extends true ? true : false;
+        extends_false: T extends false ? true : false;
+        extends_number: T extends number ? true : false;
+        extends_1: T extends 1 ? true : false;
+        extends_bigint: T extends bigint ? true : false;
+        extends_1n: T extends 1n ? true : false;
+        extends_string: T extends string ? true : false;
+        extends_a: T extends 'a' ? true : false;
+        extends_symbol: T extends symbol ? true : false;
+        extends_object: T extends object ? true : false;
+        extends_function: T extends Function ? true : false;
+        extends_array_unknown: T extends unknown[] ? true : false;
+        extends_tuple_empty: T extends [] ? true : false;
+        union<R>(): T | R;
+        union_any: T | any;
+        union_unknown: T | unknown;
+        union_void: T | void;
+        union_never: T | never;
+        union_undefined: T | undefined;
+        union_null: T | null;
+        union_boolean: T | boolean;
+        union_true: T | true;
+        union_false: T | false;
+        union_number: T | number;
+        union_1: T | 1;
+        union_bigint: T | bigint;
+        union_1n: T | 1n;
+        union_string: T | string;
+        union_a: T | 'a';
+        union_symbol: T | symbol;
+        union_object: T | object;
+        union_function: T | Function;
+        union_array_unknown: T | unknown[];
+        union_tuple_empty: T | [];
+        intersect<R>(): T & R;
+        intersect_any: T & any;
+        intersect_unknown: T & unknown;
+        intersect_void: T & void;
+        intersect_never: T & never;
+        intersect_undefined: T & undefined;
+        intersect_null: T & null;
+        intersect_boolean: T & boolean;
+        intersect_true: T & true;
+        intersect_false: T & false;
+        intersect_number: T & number;
+        intersect_1: T & 1;
+        intersect_bigint: T & bigint;
+        intersect_1n: T & 1n;
+        intersect_string: T & string;
+        intersect_a: T & 'a';
+        intersect_symbol: T & symbol;
+        intersect_object: T & object;
+        intersect_function: T & Function;
+        intersect_array_unknown: T & unknown[];
+        intersect_tuple_empty: T & [];
+    };
 }
 /**
  * Test utilities for types.
@@ -238,72 +306,5 @@ interface TestType {
  * The return value is the input `expected` parameter asserted as the first type parameter,
  * so that the type can be further inspected.
  */
-export declare const testType: TestType;
-export type InspectedType<T> = {
-    type: T;
-    extends<R>(): T extends R ? true : false;
-    extends_any: T extends any ? true : false;
-    extends_unknown: T extends unknown ? true : false;
-    extends_void: T extends void ? true : false;
-    extends_never: T extends never ? true : false;
-    extends_undefined: T extends undefined ? true : false;
-    extends_null: T extends null ? true : false;
-    extends_boolean: T extends boolean ? true : false;
-    extends_true: T extends true ? true : false;
-    extends_false: T extends false ? true : false;
-    extends_number: T extends number ? true : false;
-    extends_1: T extends 1 ? true : false;
-    extends_bigint: T extends bigint ? true : false;
-    extends_1n: T extends 1n ? true : false;
-    extends_string: T extends string ? true : false;
-    extends_a: T extends 'a' ? true : false;
-    extends_symbol: T extends symbol ? true : false;
-    extends_object: T extends object ? true : false;
-    extends_function: T extends Function ? true : false;
-    extends_array_unknown: T extends unknown[] ? true : false;
-    extends_tuple_empty: T extends [] ? true : false;
-    union<R>(): T | R;
-    union_any: T | any;
-    union_unknown: T | unknown;
-    union_void: T | void;
-    union_never: T | never;
-    union_undefined: T | undefined;
-    union_null: T | null;
-    union_boolean: T | boolean;
-    union_true: T | true;
-    union_false: T | false;
-    union_number: T | number;
-    union_1: T | 1;
-    union_bigint: T | bigint;
-    union_1n: T | 1n;
-    union_string: T | string;
-    union_a: T | 'a';
-    union_symbol: T | symbol;
-    union_object: T | object;
-    union_function: T | Function;
-    union_array_unknown: T | unknown[];
-    union_tuple_empty: T | [];
-    intersect<R>(): T & R;
-    intersect_any: T & any;
-    intersect_unknown: T & unknown;
-    intersect_void: T & void;
-    intersect_never: T & never;
-    intersect_undefined: T & undefined;
-    intersect_null: T & null;
-    intersect_boolean: T & boolean;
-    intersect_true: T & true;
-    intersect_false: T & false;
-    intersect_number: T & number;
-    intersect_1: T & 1;
-    intersect_bigint: T & bigint;
-    intersect_1n: T & 1n;
-    intersect_string: T & string;
-    intersect_a: T & 'a';
-    intersect_symbol: T & symbol;
-    intersect_object: T & object;
-    intersect_function: T & Function;
-    intersect_array_unknown: T & unknown[];
-    intersect_tuple_empty: T & [];
-};
-export {};
+export declare const testType: testType.TestType;
 //# sourceMappingURL=test_type.d.ts.map

package/cjs/testing/test_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAA;AAC3E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAElD,UAAU,QAAQ;IACjB;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3D;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACxC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9C;;;;;;;;;;;;;OAaG;IACH,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1D;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC;;;;OAIG;IACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClD;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClC;;;;OAIG;IACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC;;;;;;OAMG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClC;;;;OAIG;IACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAE1C;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChC;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,CAAC,CAAA;CACxD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,UAInB,CAAA;AAEF,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;IAC9B,IAAI,EAAE,CAAC,CAAC;IACR,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;IACzC,WAAW,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC;IAC1C,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAC;IAClD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9C,iBAAiB,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5C,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAC;IAClD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9C,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAChD,SAAS,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;IACtC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAChD,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;IACxC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAChD,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC;IACxC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAChD,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAChD,gBAAgB,EAAE,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,KAAK,CAAC;IACpD,qBAAqB,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;IAC1D,mBAAmB,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;IACjD,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClB,SAAS,EAAE,CAAC,GAAG,GAAG,CAAC;IACnB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC;IAC3B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC;IACvB,eAAe,EAAE,CAAC,GAAG,SAAS,CAAC;IAC/B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC;IACrB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC;IAC3B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC;IACvB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;IACzB,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IACf,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;IACzB,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC;IACjB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;IACzB,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC;IACjB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;IACzB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;IACzB,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC;IAC7B,mBAAmB,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC;IACnC,iBAAiB,EAAE,CAAC,GAAG,EAAE,CAAC;IAC1B,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtB,aAAa,EAAE,CAAC,GAAG,GAAG,CAAC;IACvB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAC;IAC/B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC;IAC3B,mBAAmB,EAAE,CAAC,GAAG,SAAS,CAAC;IACnC,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;IACzB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAC;IAC/B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC;IAC3B,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;IAC7B,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC;IACnB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;IAC7B,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC;IACrB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;IAC7B,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC;IACrB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;IAC7B,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;IAC7B,kBAAkB,EAAE,CAAC,GAAG,QAAQ,CAAC;IACjC,uBAAuB,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC;IACvC,qBAAqB,EAAE,CAAC,GAAG,EAAE,CAAA;CAC7B,CAAA"}
+{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAA;AAC3E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAElD,yBAAiB,QAAQ,CAAC;IACzB,UAAiB,QAAQ;QACxB;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3D;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACxC;;;;;;;;;;;;;;;;;;;;WAoBG;QACH,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9C;;;;;;;;;;;;;WAaG;QACH,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D;;;;WAIG;QACH,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9B;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC;;;;WAIG;QACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChD;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpC;;;;WAIG;QACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClD;;;;WAIG;QACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACtC;;;;WAIG;QACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChC;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC;;;;WAIG;QACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpD;;;;WAIG;QACH,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACxC;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC;;;;WAIG;QACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChC;;;;WAIG;QACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChD;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpC;;;;;;WAMG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpC;;;;WAIG;QACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChD;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpC;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpC;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC;;;;WAIG;QACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAE1C;;;;WAIG;QACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACtC;;;;WAIG;QACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChC;;;;;;;;;;;;;;;;;;;;;;WAsBG;QACH,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,CAAC,CAAA;KACxD;IAED,KAAY,aAAa,CAAC,CAAC,IAAI;QAC9B,IAAI,EAAE,CAAC,CAAC;QACR,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;QACzC,WAAW,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC;QAC1C,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAC;QAClD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;QAC5C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;QAC9C,iBAAiB,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC;QACtD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;QAC5C,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAC;QAClD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC;QAC5C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;QAC9C,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;QAChD,SAAS,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;QACtC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;QAChD,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;QACxC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;QAChD,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC;QACxC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;QAChD,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;QAChD,gBAAgB,EAAE,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,KAAK,CAAC;QACpD,qBAAqB,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;QAC1D,mBAAmB,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;QACjD,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClB,SAAS,EAAE,CAAC,GAAG,GAAG,CAAC;QACnB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC;QAC3B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC;QACrB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC;QACvB,eAAe,EAAE,CAAC,GAAG,SAAS,CAAC;QAC/B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC;QACrB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC;QAC3B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC;QACrB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC;QACvB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;QACzB,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;QACf,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;QACzB,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC;QACjB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;QACzB,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC;QACjB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;QACzB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC;QACzB,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC;QAC7B,mBAAmB,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC;QACnC,iBAAiB,EAAE,CAAC,GAAG,EAAE,CAAC;QAC1B,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtB,aAAa,EAAE,CAAC,GAAG,GAAG,CAAC;QACvB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAC;QAC/B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;QACzB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC;QAC3B,mBAAmB,EAAE,CAAC,GAAG,SAAS,CAAC;QACnC,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;QACzB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAC;QAC/B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC;QACzB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC;QAC3B,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;QAC7B,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC;QACnB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;QAC7B,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC;QACrB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;QAC7B,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC;QACrB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;QAC7B,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAC;QAC7B,kBAAkB,EAAE,CAAC,GAAG,QAAQ,CAAC;QACjC,uBAAuB,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC;QACvC,qBAAqB,EAAE,CAAC,GAAG,EAAE,CAAA;KAC7B,CAAA;CACD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,mBAInB,CAAA"}

package/cjs/testing/test_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":";;;AA4OA;;;;;;GAMG;AACU,QAAA,QAAQ,GAAG,IAAI,KAAK,CAAC,EAAc,EAAE;IACjD,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS;QAC5B,OAAO,CAAC,QAAiB,EAAE,EAAE,CAAC,QAAQ,CAAA;IACvC,CAAC;CACD,CAAC,CAAA"}
+{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":";;;AAiTA;;;;;;GAMG;AACU,QAAA,QAAQ,GAAG,IAAI,KAAK,CAAC,EAAuB,EAAE;IAC1D,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS;QAC5B,OAAO,CAAC,QAAiB,EAAE,EAAE,CAAC,QAAQ,CAAA;IACvC,CAAC;CACD,CAAC,CAAA"}

package/cjs/tuple/common_prop_keys.d.ts

@@ -1,25 +1,30 @@
-import type { NotNeverType } from '../never/never_type.js';
+import type { CommonPropKeys as ArrayCommonPropKeys } from '../array/array_plus.common_prop_keys.js';
 import type { KeyTypes } from '../object/KeyTypes.js';
-import type { Tail } from './tail.js';
+import type { CommonPropKeys as TupleCommonPropKeys } from './tuple_plus.common_prop_keys.js';
 /**
  * ⚗️ *transform*
+ * 🔢 *customization*
  *
- * Gets the common property keys of the elements in tuple `T`.
+ * Gets the common property keys of the elements in tuple or array `T`.
  *
+ * @example
  * ```ts
  * import { CommonPropKeys } from 'type-plus'
  *
  * type R = CommonPropKeys<[{ a: number }, { b: number }]> // never
  * type R = CommonPropKeys<[{ a: number, c: 1 }, { b: number, c: 2 }]> // 'c'
  * ```
+ *
+ * @typeParam Options['caseNever'] Return type when `T` is `never`.
+ * Default to `never`.
  */
-export type CommonPropKeys<T extends Record<KeyTypes, unknown>[], Cases extends {
-    array?: unknown;
-    no_common_keys?: unknown;
-} = {
-    array: T extends Array<infer R extends Record<KeyTypes, unknown>> ? keyof R : never;
-    no_common_keys: never;
-}> = number extends T['length'] ? Cases['array'] : (T['length'] extends 0 ? Cases['no_common_keys'] : (T['length'] extends 1 ? keyof T[0] : (T['length'] extends 2 ? (keyof T[0] & keyof T[1] extends infer R ? NotNeverType<R, R, Cases['no_common_keys']> : never) : (keyof T[0] & keyof T[1] & CommonPropKeys<Tail<Tail<T>>> extends infer R ? NotNeverType<R, R, Cases['no_common_keys']> : never))));
+export type CommonPropKeys<T extends Record<KeyTypes, unknown>[], Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions> = number extends T['length'] ? ArrayCommonPropKeys<T> : TupleCommonPropKeys<T, Options>;
+export declare namespace CommonPropKeys {
+    interface Options extends TupleCommonPropKeys.Options {
+    }
+    interface DefaultOptions extends TupleCommonPropKeys.DefaultOptions {
+    }
+}
 /**
  * Gets the common property keys of the elements in `A`.
  *