pi-proactive 0.2.0-beta.5 → 0.2.0-beta.7

package/node_modules/typebox/build/type/extends/result.d.mts

@@ -1,24 +0,0 @@
-import { type TProperties } from '../types/properties.mjs';
-export type TResult = TExtendsUnion | TExtendsTrue | TExtendsFalse;
-export interface TExtendsUnion<Inferred extends TProperties = TProperties> {
-    '~kind': 'ExtendsUnion';
-    inferred: Inferred;
-}
-export declare function ExtendsUnion<Inferred extends TProperties>(inferred: TProperties): TExtendsUnion<Inferred>;
-export declare function IsExtendsUnion(value: unknown): value is TExtendsUnion;
-export interface TExtendsTrue<Inferred extends TProperties = TProperties> {
-    '~kind': 'ExtendsTrue';
-    inferred: Inferred;
-}
-export declare function ExtendsTrue<Inferred extends TProperties>(inferred: TProperties): TExtendsTrue<Inferred>;
-export declare function IsExtendsTrue(value: unknown): value is TExtendsTrue;
-export interface TExtendsFalse {
-    type: 'ExtendsFalse';
-}
-export declare function ExtendsFalse(): TExtendsFalse;
-export declare function IsExtendsFalse(value: unknown): value is TExtendsFalse;
-export type TExtendsTrueLike<Inferred extends TProperties = TProperties> = TExtendsUnion<Inferred> | TExtendsTrue<Inferred>;
-export declare function IsExtendsTrueLike(value: unknown): value is TExtendsTrueLike;
-export type MatchTrueLike = (inferred: TProperties) => unknown;
-export type MatchFalse = () => unknown;
-export declare function Match(result: TResult, true_: MatchTrueLike, false_: MatchFalse): unknown;

package/node_modules/typebox/build/type/extends/result.mjs

@@ -1,36 +0,0 @@
-import { Guard } from '../../guard/index.mjs';
-import { Memory } from '../../system/memory/index.mjs';
-export function ExtendsUnion(inferred) {
-    return Memory.Create({ ['~kind']: 'ExtendsUnion' }, { inferred });
-}
-export function IsExtendsUnion(value) {
-    return Guard.IsObject(value) &&
-        Guard.HasPropertyKey(value, '~kind') &&
-        Guard.HasPropertyKey(value, 'inferred') &&
-        Guard.IsEqual(value['~kind'], 'ExtendsUnion') &&
-        Guard.IsObject(value.inferred);
-}
-export function ExtendsTrue(inferred) {
-    return Memory.Create({ ['~kind']: 'ExtendsTrue' }, { inferred });
-}
-export function IsExtendsTrue(value) {
-    return Guard.IsObject(value) &&
-        Guard.HasPropertyKey(value, '~kind') &&
-        Guard.HasPropertyKey(value, 'inferred') &&
-        Guard.IsEqual(value['~kind'], 'ExtendsTrue') &&
-        Guard.IsObject(value.inferred);
-}
-export function ExtendsFalse() {
-    return Memory.Create({ ['~kind']: 'ExtendsFalse' }, {});
-}
-export function IsExtendsFalse(value) {
-    return Guard.IsObject(value) &&
-        Guard.HasPropertyKey(value, '~kind') &&
-        Guard.IsEqual(value['~kind'], 'ExtendsFalse');
-}
-export function IsExtendsTrueLike(value) {
-    return IsExtendsUnion(value) || IsExtendsTrue(value);
-}
-export function Match(result, true_, false_) {
-    return IsExtendsTrueLike(result) ? true_(result.inferred) : false_();
-}

package/node_modules/typebox/build/type/extends/return_type.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TVoid } from '../types/void.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-export type TExtendsReturnType<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Right extends TVoid ? Result.TExtendsTrue<Inferred> : TExtendsLeft<Inferred, Left, Right>);
-export declare function ExtendsReturnType<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsReturnType<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/return_type.mjs

@@ -1,9 +0,0 @@
-// deno-fmt-ignore-file
-import { IsVoid } from '../types/void.mjs';
-import { ExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-export function ExtendsReturnType(inferred, left, right) {
-    return (IsVoid(right)
-        ? Result.ExtendsTrue(inferred)
-        : ExtendsLeft(inferred, left, right));
-}

package/node_modules/typebox/build/type/extends/string.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TString } from '../types/string.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsString<Inferred extends TProperties, Left extends TString, Right extends TSchema> = (Right extends TString ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsString<Inferred extends TProperties, Left extends TString, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsString<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/string.mjs

@@ -1,9 +0,0 @@
-// deno-fmt-ignore-file
-import { IsString } from '../types/string.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsString(inferred, left, right) {
-    return (IsString(right)
-        ? Result.ExtendsTrue(inferred)
-        : ExtendsRight(inferred, left, right));
-}

package/node_modules/typebox/build/type/extends/symbol.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TSymbol } from '../types/symbol.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsSymbol<Inferred extends TProperties, Left extends TSymbol, Right extends TSchema> = (Right extends TSymbol ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsSymbol<Inferred extends TProperties, Left extends TSymbol, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsSymbol<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/symbol.mjs

@@ -1,9 +0,0 @@
-// deno-fmt-ignore-file
-import { IsSymbol } from '../types/symbol.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsSymbol(inferred, left, right) {
-    return (IsSymbol(right)
-        ? Result.ExtendsTrue(inferred)
-        : ExtendsRight(inferred, left, right));
-}

package/node_modules/typebox/build/type/extends/template_literal.d.mts

@@ -1,6 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import { type TEvaluateTemplateLiteral } from '../engine/evaluate/evaluate.mjs';
-export type TExtendsTemplateLiteral<Inferred extends TProperties, Pattern extends string, Right extends TSchema, Evaluated extends TSchema = TEvaluateTemplateLiteral<Pattern>> = TExtendsLeft<Inferred, Evaluated, Right>;
-export declare function ExtendsTemplateLiteral<Inferred extends TProperties, Pattern extends string, Right extends TSchema>(inferred: Inferred, left: Pattern, right: Right): TExtendsTemplateLiteral<Inferred, Pattern, Right>;

package/node_modules/typebox/build/type/extends/template_literal.mjs

@@ -1,7 +0,0 @@
-// deno-fmt-ignore-file
-import { ExtendsLeft } from './extends_left.mjs';
-import { EvaluateTemplateLiteral } from '../engine/evaluate/evaluate.mjs';
-export function ExtendsTemplateLiteral(inferred, left, right) {
-    const evaluated = EvaluateTemplateLiteral(left);
-    return ExtendsLeft(inferred, evaluated, right);
-}

package/node_modules/typebox/build/type/extends/tuple.d.mts

@@ -1,22 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TArray } from '../types/array.mjs';
-import { type TTuple } from '../types/tuple.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-import { type TInstantiateElements } from '../engine/instantiate.mjs';
-import { type TState } from '../engine/instantiate.mjs';
-import { type TTryRestInferable, type TTryInferable, type TInferable, type TInferTupleResult, type TInferUnionResult } from './inference.mjs';
-type TReverse<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TReverse<Right, [Left, ...Result]> : Result);
-type TApplyReverse<Types extends TSchema[], Reversed extends boolean> = Reversed extends true ? TReverse<Types> : Types;
-type TReversed<Types extends TSchema[], First extends TSchema | undefined = Types extends [infer Left extends TSchema, ...infer _ extends TSchema[]] ? Left : undefined, Inferable extends TSchema | undefined = First extends TSchema ? TTryRestInferable<First> : undefined, Result extends boolean = Inferable extends TSchema ? true : false> = Result;
-type TElementsCompare<Inferred extends TProperties, Reversed extends boolean, Left extends TSchema, LeftRest extends TSchema[], Right extends TSchema, RightRest extends TSchema[]> = (TExtendsLeft<Inferred, Left, Right> extends Result.TExtendsTrueLike<infer CheckInferred extends TProperties> ? TElements<CheckInferred, Reversed, LeftRest, RightRest> : Result.TExtendsFalse);
-type TElementsLeft<Inferred extends TProperties, Reversed extends boolean, LeftRest extends TSchema[], Right extends TSchema, RightRest extends TSchema[], Inferable extends TInferable | undefined = TTryRestInferable<Right>> = (Inferable extends TInferable ? TInferTupleResult<Inferred, Inferable['name'], TApplyReverse<LeftRest, Reversed>, Inferable['type']> : LeftRest extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TElementsCompare<Inferred, Reversed, Head, Tail, Right, RightRest> : Result.TExtendsFalse);
-type TElementsRight<Inferred extends TProperties, Reversed extends boolean, LeftRest extends TSchema[], RightRest extends TSchema[]> = (RightRest extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TElementsLeft<Inferred, Reversed, LeftRest, Head, Tail> : LeftRest['length'] extends 0 ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-type TElements<Inferred extends TProperties, Reversed extends boolean, LeftRest extends TSchema[], RightRest extends TSchema[]> = TElementsRight<Inferred, Reversed, LeftRest, RightRest>;
-type TExtendsTupleToTuple<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema[], InstantiatedRight extends TSchema[] = TInstantiateElements<Inferred, TState<[], []>, Right>, Reversed extends boolean = TReversed<InstantiatedRight>> = TElements<Inferred, Reversed, TApplyReverse<Left, Reversed>, TApplyReverse<InstantiatedRight, Reversed>>;
-type TExtendsTupleToArray<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema, Inferrable extends TInferable | undefined = TTryInferable<Right>> = (Inferrable extends TInferable ? TInferUnionResult<Inferred, Inferrable['name'], Left, Inferrable['type']> : Left extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsLeft<Inferred, Head, Right> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsTupleToArray<Inferred, Tail, Right> : Result.TExtendsFalse : Result.TExtendsTrue<Inferred>);
-export type TExtendsTuple<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema, InstantiatedLeft extends TSchema[] = TInstantiateElements<Inferred, TState<[], []>, Left>> = (Right extends TTuple<infer Types extends TSchema[]> ? TExtendsTupleToTuple<Inferred, InstantiatedLeft, Types> : Right extends TArray<infer Type extends TSchema> ? TExtendsTupleToArray<Inferred, InstantiatedLeft, Type> : TExtendsRight<Inferred, TTuple<InstantiatedLeft>, Right>);
-export declare function ExtendsTuple<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsTuple<Inferred, Left, Right>;
-export {};

package/node_modules/typebox/build/type/extends/tuple.mjs

@@ -1,61 +0,0 @@
-// deno-fmt-ignore-file
-import { Guard } from '../../guard/index.mjs';
-import { IsSchema } from '../types/schema.mjs';
-import { IsArray } from '../types/array.mjs';
-import { IsTuple, Tuple } from '../types/tuple.mjs';
-import { ExtendsLeft } from './extends_left.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-import { InstantiateElements } from '../engine/instantiate.mjs';
-import { State } from '../engine/instantiate.mjs';
-// ----------------------------------------------------------------------------
-// Inference
-// ----------------------------------------------------------------------------
-import { TryRestInferable, TryInferable, IsInferable, InferTupleResult, InferUnionResult } from './inference.mjs';
-function Reverse(types) {
-    return [...types].reverse();
-}
-function ApplyReverse(types, reversed) {
-    return (reversed ? Reverse(types) : types);
-}
-function Reversed(types) {
-    const first = types.length > 0 ? types[0] : undefined;
-    const inferrable = IsSchema(first) ? TryRestInferable(first) : undefined;
-    return IsSchema(inferrable);
-}
-function ElementsCompare(inferred, reversed, left, leftRest, right, rightRest) {
-    return Result.Match(ExtendsLeft(inferred, left, right), checkInferred => Elements(checkInferred, reversed, leftRest, rightRest), () => Result.ExtendsFalse()); // 'left-and-right-not-compared'
-}
-function ElementsLeft(inferred, reversed, leftRest, right, rightRest) {
-    const inferable = TryRestInferable(right);
-    return (
-    // Rest Inferrable Right Means we delegate to TInferTupleResult to Generate a Result
-    IsInferable(inferable)
-        ? InferTupleResult(inferred, inferable['name'], ApplyReverse(leftRest, reversed), inferable['type'])
-        : Guard.ShiftLeft(leftRest, (head, tail) => ElementsCompare(inferred, reversed, head, tail, right, rightRest), () => Result.ExtendsFalse()));
-}
-function ElementsRight(inferred, reversed, leftRest, rightRest) {
-    return Guard.ShiftLeft(rightRest, (head, tail) => ElementsLeft(inferred, reversed, leftRest, head, tail), () => Guard.IsEqual(leftRest.length, 0)
-        ? Result.ExtendsTrue(inferred) // 'Ok: right-empty-and-left-empty'
-        : Result.ExtendsFalse()); // 'Fail: right-empty-and-left-not-empty'
-}
-function Elements(inferred, reversed, leftRest, rightRest) {
-    return ElementsRight(inferred, reversed, leftRest, rightRest);
-}
-function ExtendsTupleToTuple(inferred, left, right) {
-    const instantiatedRight = InstantiateElements(inferred, State([], []), right);
-    const reversed = Reversed(instantiatedRight);
-    return Elements(inferred, reversed, ApplyReverse(left, reversed), ApplyReverse(instantiatedRight, reversed));
-}
-function ExtendsTupleToArray(inferred, left, right) {
-    const inferrable = TryInferable(right);
-    return (IsInferable(inferrable)
-        ? InferUnionResult(inferred, inferrable['name'], left, inferrable['type'])
-        : Guard.ShiftLeft(left, (head, tail) => Result.Match(ExtendsLeft(inferred, head, right), inferred => ExtendsTupleToArray(inferred, tail, right), () => Result.ExtendsFalse()), () => Result.ExtendsTrue(inferred)));
-}
-export function ExtendsTuple(inferred, left, right) {
-    const instantiatedLeft = InstantiateElements(inferred, State([], []), left);
-    return (IsTuple(right) ? ExtendsTupleToTuple(inferred, instantiatedLeft, right.items) :
-        IsArray(right) ? ExtendsTupleToArray(inferred, instantiatedLeft, right.items) :
-            ExtendsRight(inferred, Tuple(instantiatedLeft), right));
-}

package/node_modules/typebox/build/type/extends/undefined.d.mts

@@ -1,8 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TUndefined } from '../types/undefined.mjs';
-import { type TVoid } from '../types/void.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsUndefined<Inferred extends TProperties, Left extends TUndefined, Right extends TSchema> = (Right extends TVoid ? Result.TExtendsTrue<Inferred> : Right extends TUndefined ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsUndefined<Inferred extends TProperties, Left extends TUndefined, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsUndefined<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/undefined.mjs

@@ -1,10 +0,0 @@
-// deno-fmt-ignore-file
-import { IsUndefined } from '../types/undefined.mjs';
-import { IsVoid } from '../types/void.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsUndefined(inferred, left, right) {
-    return (IsVoid(right) ? Result.ExtendsTrue(inferred) :
-        IsUndefined(right) ? Result.ExtendsTrue(inferred) :
-            ExtendsRight(inferred, left, right));
-}

package/node_modules/typebox/build/type/extends/union.d.mts

@@ -1,11 +0,0 @@
-import { type TProperties } from '../types/properties.mjs';
-import { type TSchema } from '../types/schema.mjs';
-import { type TUnion } from '../types/union.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-import { type TInferable, type TTryInferable, type TInferUnionResult } from './inference.mjs';
-type TExtendsUnionSome<Inferred extends TProperties, Type extends TSchema, UnionTypes extends TSchema[]> = (UnionTypes extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsLeft<Inferred, Type, Head> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? Result.TExtendsTrue<Inferred> : TExtendsUnionSome<Inferred, Type, Tail> : Result.TExtendsFalse);
-type TExtendsUnionLeft<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema[]> = (Left extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsUnionSome<Inferred, Head, Right> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsUnionLeft<Inferred, Tail, Right> : Result.TExtendsFalse : Result.TExtendsTrue<Inferred>);
-export type TExtendsUnion<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema, Inferrable extends TInferable | undefined = TTryInferable<Right>> = (Inferrable extends TInferable<infer Name extends string, infer Type extends TSchema> ? TInferUnionResult<Inferred, Name, Left, Type> : Right extends TUnion<infer Types extends TSchema[]> ? TExtendsUnionLeft<Inferred, Left, Types> : TExtendsUnionLeft<Inferred, Left, [Right]>);
-export declare function ExtendsUnion<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema>(inferred: Inferred, left: [...Left], right: Right): TExtendsUnion<Inferred, Left, Right>;
-export {};

package/node_modules/typebox/build/type/extends/union.mjs

@@ -1,24 +0,0 @@
-// deno-fmt-ignore-file
-import { Guard } from '../../guard/index.mjs';
-import { IsUnion } from '../types/union.mjs';
-import { ExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-// ----------------------------------------------------------------------------
-// Inference
-// ----------------------------------------------------------------------------
-import { IsInferable, TryInferable, InferUnionResult } from './inference.mjs';
-function ExtendsUnionSome(inferred, type, unionTypes) {
-    return Guard.ShiftLeft(unionTypes, (head, tail) => Result.Match(ExtendsLeft(inferred, type, head), inferred => Result.ExtendsTrue(inferred), () => ExtendsUnionSome(inferred, type, tail)), () => Result.ExtendsFalse());
-}
-function ExtendsUnionLeft(inferred, left, right) {
-    return Guard.ShiftLeft(left, (head, tail) => Result.Match(ExtendsUnionSome(inferred, head, right), inferred => ExtendsUnionLeft(inferred, tail, right), () => Result.ExtendsFalse()), () => Result.ExtendsTrue(inferred));
-}
-export function ExtendsUnion(inferred, left, right) {
-    const inferrable = TryInferable(right);
-    return (IsInferable(inferrable)
-        // @ts-ignore 4.9.5 fails to see `type` property on inferrable
-        ? InferUnionResult(inferred, inferrable.name, left, inferrable.type)
-        : IsUnion(right)
-            ? ExtendsUnionLeft(inferred, left, right.anyOf)
-            : ExtendsUnionLeft(inferred, left, [right]));
-}

package/node_modules/typebox/build/type/extends/unknown.d.mts

@@ -1,9 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TAny } from '../types/any.mjs';
-import { type TUnknown } from '../types/unknown.mjs';
-import { type TInfer } from '../types/infer.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsUnknown<Inferred extends TProperties, Left extends TUnknown, Right extends TSchema> = (Right extends TInfer ? TExtendsRight<Inferred, Left, Right> : Right extends TAny ? Result.TExtendsTrue<Inferred> : Right extends TUnknown ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-export declare function ExtendsUnknown<Inferred extends TProperties, Left extends TUnknown, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsUnknown<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/unknown.mjs

@@ -1,12 +0,0 @@
-// deno-fmt-ignore-file
-import { IsAny } from '../types/any.mjs';
-import { IsUnknown } from '../types/unknown.mjs';
-import { IsInfer } from '../types/infer.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsUnknown(inferred, left, right) {
-    return (IsInfer(right) ? ExtendsRight(inferred, left, right) :
-        IsAny(right) ? Result.ExtendsTrue(inferred) :
-            IsUnknown(right) ? Result.ExtendsTrue(inferred) :
-                Result.ExtendsFalse());
-}

package/node_modules/typebox/build/type/extends/void.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TVoid } from '../types/void.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsVoid<Inferred extends TProperties, Left extends TVoid, Right extends TSchema> = (Right extends TVoid ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsVoid<Inferred extends TProperties, Left extends TVoid, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsVoid<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/void.mjs

@@ -1,9 +0,0 @@
-// deno-fmt-ignore-file
-import { IsVoid } from '../types/void.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsVoid(inferred, left, right) {
-    return (IsVoid(right)
-        ? Result.ExtendsTrue(inferred)
-        : ExtendsRight(inferred, left, right));
-}

package/node_modules/typebox/build/type/index.d.mts

@@ -1,5 +0,0 @@
-export * from './action/index.mjs';
-export * from './engine/index.mjs';
-export * from './extends/index.mjs';
-export * from './script/index.mjs';
-export * from './types/index.mjs';

package/node_modules/typebox/build/type/index.mjs

@@ -1,5 +0,0 @@
-export * from './action/index.mjs';
-export * from './engine/index.mjs';
-export * from './extends/index.mjs';
-export * from './script/index.mjs';
-export * from './types/index.mjs';

package/node_modules/typebox/build/type/script/index.d.mts

@@ -1 +0,0 @@
-export * from './script.mjs';

package/node_modules/typebox/build/type/script/index.mjs

@@ -1 +0,0 @@
-export * from './script.mjs';