type-plus 8.0.0-beta.2 → 8.0.0-beta.3

package/src/array/array_plus.split_at.ts

@@ -35,8 +35,8 @@ export type SplitAt<
 > = IsArray<
 	A,
 	{
-		exact: true,
-		$then: [A, A],
+		exact: true
+		$then: [A, A]
 		$else: SplitAt._<A, [], [], IndexAt._<A, Index>, DeleteCount, Insert>
 	}
 >
@@ -48,32 +48,30 @@ export namespace SplitAt {
 		C extends readonly unknown[],
 		Index extends number,
 		DeleteCount,
-		Insert extends readonly unknown[],
+		Insert extends readonly unknown[]
 	> = 0 extends A['length']
-		? IsTuple<Insert, { $then: [[...Insert, ...B], C], $else: [B, C] }>
-		: (Index extends B['length']
+		? IsTuple<Insert, { $then: [[...Insert, ...B], C]; $else: [B, C] }>
+		: Index extends B['length']
 			? IsNever<
-				DeleteCount,
-				{
-					$then: [B, A],
-					$else: _D<A, B, C, DeleteCount, Insert>
-				}>
-			: (A extends readonly [infer Head, ...infer Tail]
+					DeleteCount,
+					{
+						$then: [B, A]
+						$else: _D<A, B, C, DeleteCount, Insert>
+					}
+				>
+			: A extends readonly [infer Head, ...infer Tail]
 				? _<Tail, [...B, Head], [], Index, DeleteCount, Insert>
-				: 'unexpected: A does not extends [Head, ...Tail]'))
+				: 'unexpected: A does not extends [Head, ...Tail]'
 
 	export type _D<
 		A extends readonly unknown[],
 		B extends readonly unknown[],
 		C extends readonly unknown[],
 		DeleteCount,
-		Insert extends readonly unknown[],
+		Insert extends readonly unknown[]
 	> = DeleteCount extends C['length']
-		? IsTuple<Insert, { $then: [[...B, ...Insert, ...A], C], $else: [[...B, ...A], C] }>
-		: (A extends readonly [infer Head, ...infer Tail]
+		? IsTuple<Insert, { $then: [[...B, ...Insert, ...A], C]; $else: [[...B, ...A], C] }>
+		: A extends readonly [infer Head, ...infer Tail]
 			? _D<Tail, B, [...C, Head], DeleteCount, Insert>
-			: IsTuple<Insert, { $then: [[...Insert, ...B], C], $else: [B, C] }>
-		)
-
+			: IsTuple<Insert, { $then: [[...Insert, ...B], C]; $else: [B, C] }>
 }
-

package/src/array/find_first.ts

@@ -51,22 +51,23 @@ import type { Find as ArrayFind } from './array_plus.find.js'
  */
 export type FindFirst<
 	A extends readonly unknown[],
-	Criteria, Options extends FindFirst.Options = FindFirst.DefaultOptions<Criteria>
+	Criteria,
+	Options extends FindFirst.Options = FindFirst.DefaultOptions<Criteria>
 > = IsTuple<
 	A,
 	{
-		$then: TupleFind<A, Criteria, Options>,
+		$then: TupleFind<A, Criteria, Options>
 		$else: ArrayFind<A, Criteria, Options>
 	}
 >
 
 export namespace FindFirst {
-	export interface Options extends ArrayFind.Options, TupleFind.Options { }
+	export interface Options extends ArrayFind.Options, TupleFind.Options {}
 	export interface DefaultOptions<Criteria>
-		extends ArrayFind.DefaultOptions<Criteria>, TupleFind.DefaultOptions<Criteria> { }
+		extends ArrayFind.DefaultOptions<Criteria>,
+			TupleFind.DefaultOptions<Criteria> {}
 }
 
-
 /**
  * @deprecated use FindFirst
  */

package/src/array/head.ts

@@ -22,17 +22,18 @@ import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$select
  * @typeParam Options['caseEmptyTuple'] Return type when `T` is `[]`.
  * Default to `never`.
  */
-export type Head<
-	T extends readonly unknown[],
-	Options extends Head.Options = Head.DefaultOptions
-> = IsNever<
+export type Head<T extends readonly unknown[], Options extends Head.Options = Head.DefaultOptions> = IsNever<
 	T,
 	$SelectionBranch
 > extends infer R
-	? R extends $Then ? Options['$never']
-	: R extends $Else ? T['length'] extends 0 ? Options['caseEmptyTuple'] : T[0]
-	: never : never
-
+	? R extends $Then
+		? Options['$never']
+		: R extends $Else
+			? T['length'] extends 0
+				? Options['caseEmptyTuple']
+				: T[0]
+			: never
+	: never
 
 export namespace Head {
 	export interface Options extends $Never.$Options {

package/src/array/intersect_of_props.ts

@@ -6,13 +6,13 @@ import type { Tail } from '../tuple/tail.js'
  *
  * Gets the intersect of properties of the elements in `A`.
  */
-export type IntersectOfProps<A extends readonly  Record<any, unknown>[], P extends KeyTypes> = number extends A['length']
+export type IntersectOfProps<A extends readonly Record<any, unknown>[], P extends KeyTypes> = number extends A['length']
 	? A[0][P]
 	: A['length'] extends 0
-	? never
-	: A['length'] extends 1
-	? A[0][P]
-	: A[0][P] & IntersectOfProps<Tail<A>, P>
+		? never
+		: A['length'] extends 1
+			? A[0][P]
+			: A[0][P] & IntersectOfProps<Tail<A>, P>
 
 /**
  * Gets the intersect of properties of the elements in `A`

package/src/array/is_array.ts

@@ -60,13 +60,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsArray<number, IsArray.$Branch> // $Else
  * ```
  */
-export type IsArray<
+export type IsArray<T, $O extends IsArray.$Options = {}> = $SpecialType<
 	T,
-	$O extends IsArray.$Options = {}
-> = $SpecialType<T,
-	$MergeOptions<$O,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsArray.$<T, $O>
 		}
 	>
@@ -84,33 +83,33 @@ export namespace IsArray {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$Exact.$IsExact<$O, {
-			$then: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Then]>
-					: $ResolveBranch<T, $O, [$Else]>
-				)
-				: $ResolveBranch<T, $O, [$Else]>,
-				$else: [T] extends [readonly any[]]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Then]>
-					: $ResolveBranch<T, $O, [$Else]>
-				)
-				: $ResolveBranch<T, $O, [$Else]>
-			}>,
-			$else: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? $ResolveBranch<T, $O, [$Then]>
-				: $ResolveBranch<T, $O, [$Else]>,
-				$else: [T] extends readonly [any[]]
-				? $ResolveBranch<T, $O, [$Then]>
-				: $ResolveBranch<T, $O, [$Else]>
-			}>
-		}>
+	export type $<T, $O extends $UtilOptions> = $Exact.$IsExact<
+		$O,
+		{
+			$then: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Then]>
+							: $ResolveBranch<T, $O, [$Else]>
+						: $ResolveBranch<T, $O, [$Else]>
+					$else: [T] extends [readonly any[]]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Then]>
+							: $ResolveBranch<T, $O, [$Else]>
+						: $ResolveBranch<T, $O, [$Else]>
+				}
+			>
+			$else: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
+					$else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
+				}
+			>
+		}
+	>
 
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 }

package/src/array/is_not_array.ts

@@ -60,12 +60,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotArray<number, IsNotArray.$Branch> // $Then
  * ```
  */
-export type IsNotArray<T,
-	$O extends IsNotArray.$Options = {}
-> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotArray.$<T, $O>
 		}
 	>
@@ -82,33 +82,33 @@ export namespace IsNotArray {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$Exact.$IsExact<$O, {
-			$then: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Else]>
-					: $ResolveBranch<T, $O, [$Then]>
-				)
-				: $ResolveBranch<T, $O, [$Then]>,
-				$else: [T] extends [readonly any[]]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Else]>
-					: $ResolveBranch<T, $O, [$Then]>
-				)
-				: $ResolveBranch<T, $O, [$Then]>
-			}>,
-			$else: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? $ResolveBranch<T, $O, [$Else]>
-				: $ResolveBranch<T, $O, [$Then]>,
-				$else: [T] extends readonly [any[]]
-				? $ResolveBranch<T, $O, [$Else]>
-				: $ResolveBranch<T, $O, [$Then]>
-			}>
-		}>
+	export type $<T, $O extends $UtilOptions> = $Exact.$IsExact<
+		$O,
+		{
+			$then: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Else]>
+							: $ResolveBranch<T, $O, [$Then]>
+						: $ResolveBranch<T, $O, [$Then]>
+					$else: [T] extends [readonly any[]]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Else]>
+							: $ResolveBranch<T, $O, [$Then]>
+						: $ResolveBranch<T, $O, [$Then]>
+				}
+			>
+			$else: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
+					$else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
+				}
+			>
+		}
+	>
 
 	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
 }

package/src/array/last.ts

@@ -21,15 +21,20 @@ import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$select
  * @typeParam Options['caseEmptyTuple'] Return type when `T` is `[]`.
  * Default to `never`.
  */
-export type Last<
-	T extends readonly unknown[],
-	Options extends Last.Options = Last.DefaultOptions
-> = IsNever<T, $SelectionBranch> extends infer R
-	? R extends $Then ? Options['$never']
-	: R extends $Else ? T['length'] extends 0
-	? Options['caseEmptyTuple']
-	: T extends readonly [...unknown[], infer R] ? R : T[0]
-	: never : never
+export type Last<T extends readonly unknown[], Options extends Last.Options = Last.DefaultOptions> = IsNever<
+	T,
+	$SelectionBranch
+> extends infer R
+	? R extends $Then
+		? Options['$never']
+		: R extends $Else
+			? T['length'] extends 0
+				? Options['caseEmptyTuple']
+				: T extends readonly [...unknown[], infer R]
+					? R
+					: T[0]
+			: never
+	: never
 
 export namespace Last {
 	export interface Options extends $Never.$Options {

package/src/array/loose_array_type.ts

@@ -17,10 +17,10 @@ import type { IsAnyOrNever } from '../mix_types/is_any_or_never.js'
  *
  * type R = LooseArrayType<string> // never
  * ```
- */export type LooseArrayType<T, Then = T, Else = never> = IsAnyOrNever<
+ */ export type LooseArrayType<T, Then = T, Else = never> = IsAnyOrNever<
 	T,
 	{
-		$then: Else,
+		$then: Else
 		$else: T extends readonly any[] ? Then : Else
 	}
 >

package/src/array/pad_start.ts

@@ -29,9 +29,7 @@ export type PadStart<
 	A extends readonly unknown[],
 	MaxLength extends number,
 	PadWith = unknown
-> = number extends A['length']
-	? PadStartArray<A, MaxLength, PadWith>
-	: PadStartTuple<A, MaxLength, PadWith>
+> = number extends A['length'] ? PadStartArray<A, MaxLength, PadWith> : PadStartTuple<A, MaxLength, PadWith>
 
 /**
  * @deprecated use PadStart instead

package/src/array/reverse.ts

@@ -6,11 +6,11 @@
 export type Reverse<A extends unknown[]> = number extends A['length']
 	? A
 	: A['length'] extends 0
-	? A
-	: A['length'] extends 1
-	? A
-	: A extends [any, ...infer T]
-	? T extends any[]
-		? [...Reverse<T>, A[0]]
-		: never
-	: never
+		? A
+		: A['length'] extends 1
+			? A
+			: A extends [any, ...infer T]
+				? T extends any[]
+					? [...Reverse<T>, A[0]]
+					: never
+				: never

package/src/array/union_of_props.ts

@@ -7,8 +7,8 @@ import type { Tail } from '../tuple/tail.js'
 export type UnionOfProps<A extends readonly Record<any, any>[], P extends KeyTypes> = A['length'] extends 0
 	? never
 	: A['length'] extends 1
-	? A[0][P]
-	: A[0][P] | UnionOfProps<Tail<A>, P>
+		? A[0][P]
+		: A[0][P] | UnionOfProps<Tail<A>, P>
 
 /**
  * Gets the union of properties in the element of `A`

package/src/assertion/assert_type.ts

@@ -101,7 +101,7 @@ assertType.noError = <S>(subject: Exclude<S, Error>): void => {
 	if (subject instanceof Error) throw TypeError('subject is an Error')
 }
 
-assertType.isNever = (_subject: never): asserts _subject is never => { }
+assertType.isNever = (_subject: never): asserts _subject is never => {}
 
 /**
  * creates a custom assertion function with standard TypeError.
@@ -109,9 +109,11 @@ assertType.isNever = (_subject: never): asserts _subject is never => { }
  * thus making it hard to use:
  * https://github.com/microsoft/TypeScript/issues/41047
  */
-assertType.custom = <T>(validator: (s: T) => boolean): (subject: unknown) => asserts subject is T => (subject) => {
+assertType.custom =
+	<T>(validator: (s: T) => boolean): ((subject: unknown) => asserts subject is T) =>
+	(subject) => {
 		if (!validator(subject as any)) throw new TypeError(`subject fails to satisfy ${tersify(validator)}`)
 		return
 	}
 
-assertType.as = <T>(_subject: unknown): asserts _subject is T => { }
+assertType.as = <T>(_subject: unknown): asserts _subject is T => {}

package/src/bigint/cast.ts

@@ -9,5 +9,5 @@
 export type StringToBigint<S extends string, Fail = never> = S extends `-0n`
 	? 0n
 	: S extends `${infer N extends bigint}n`
-	? N
-	: Fail
+		? N
+		: Fail

package/src/bigint/is_bigint.ts

@@ -70,15 +70,16 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsBigint<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBigint<T, $O extends IsBigint.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsBigint.$<T, $O>
-			}
-		>
+export type IsBigint<T, $O extends IsBigint.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsBigint.$<T, $O>
+		}
 	>
+>
 
 export namespace IsBigint {
 	export type $Options = $Equality.$Options & $Exact.$Options
@@ -92,23 +93,19 @@ export namespace IsBigint {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
-		? $IsDistributive<$O, { $then: _SD<T, $O>, $else: _SN<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _SN<T, $O> }>
 		: Assignable.$<T, bigint, $O>
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 
-	export type _SD<T, $O extends $Options> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _SD<T, $O extends $Options> = T extends bigint & infer U
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Else]>
 			: $ResolveBranch<T, $O, [$Then]>
-		)
 		: $ResolveBranch<T, $O, [$Else]>
-	export type _SN<T, $O extends $Options> =
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
+	export type _SN<T, $O extends $Options> = [T] extends [bigint & infer U]
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/bigint/is_bigint_literal.ts

@@ -58,10 +58,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsBigintLiteral<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsBigintLiteral.$<T, $O>
 		}
 	>
@@ -79,22 +81,18 @@ export namespace IsBigintLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
 	export type $UtilOptions = Assignable.$UtilOptions
 
-	export type _D<T, $O extends $UtilOptions> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _D<T, $O extends $UtilOptions> = T extends bigint & infer U
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Then]>
 			: $ResolveBranch<T, $O, [$Else]>
-		)
-		: $ResolveBranch<T, $O, [$Else]>
-	export type _N<T, $O extends $UtilOptions> =
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U]
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [$Else]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/bigint/is_not_bigint.ts

@@ -67,10 +67,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotBigint<bigint, $SelectionBranch> // $Else
  * ```
  */
-export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotBigint.$<T, $O>
 		}
 	>
@@ -88,23 +90,19 @@ export namespace IsNotBigint {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$ResolveOptions<[$O['exact'], false]> extends true
-		? $IsDistributive<$O, { $then: _SD<T, $O>, $else: _SN<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
+		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _SN<T, $O> }>
 		: NotAssignable.$<T, bigint, $O>
 	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
 
-	export type _SD<T, $O extends $Options> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _SD<T, $O extends $Options> = T extends bigint & infer U
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<T, $O, [$Then]>
+	export type _SN<T, $O extends $Options> = [T] extends [bigint & infer U]
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Then]>
 			: $ResolveBranch<T, $O, [$Else]>
-		)
 		: $ResolveBranch<T, $O, [$Then]>
-	export type _SN<T, $O extends $Options> = (
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>)
 }

package/src/bigint/is_not_bigint_literal.ts

@@ -56,10 +56,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotBigintLiteral<bigint, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotBigintLiteral.$<T, $O>
 		}
 	>
@@ -77,25 +79,24 @@ export namespace IsNotBigintLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$IsDistributive<$O, {
-			$then: _D<T, $O>,
+	export type $<T, $O extends $UtilOptions> = $IsDistributive<
+		$O,
+		{
+			$then: _D<T, $O>
 			$else: _N<T, $O>
-		}>
+		}
+	>
 
 	export type $UtilOptions = Assignable.$UtilOptions
 
-	export type _D<T, $O extends $UtilOptions> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _D<T, $O extends $UtilOptions> = T extends bigint & infer U
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Else]>
 			: $ResolveBranch<T, $O, [$Then]>
-		)
-		: $ResolveBranch<T, $O, [$Then]>
-	export type _N<T, $O extends $UtilOptions> =
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Else]>
 		: $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U]
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Then]>
 }