@sinclair/typebox 0.21.2 → 0.23.1

package/typebox.d.ts

@@ -28,6 +28,7 @@ export declare const BooleanKind: unique symbol;
 export declare const NullKind: unique symbol;
 export declare const UnknownKind: unique symbol;
 export declare const AnyKind: unique symbol;
+export declare const RefKind: unique symbol;
 export interface CustomOptions {
     $id?: string;
     title?: string;
@@ -68,243 +69,280 @@ export declare type TDefinitions = {
 };
 export declare type TNamespace<T extends TDefinitions> = {
     kind: typeof BoxKind;
-    definitions: T;
+    $defs: T;
 } & CustomOptions;
-export declare type Infer<T> = {
-    '_infer': T;
-};
+export interface TSchema {
+    $static: unknown;
+}
 export declare type TEnumType = Record<string, string | number>;
-export declare type TKey = string | number;
+export declare type TKey = string | number | symbol;
 export declare type TValue = string | number | boolean;
-export declare type TRecordKey = TString | TNumber | TKeyOf<any> | TUnion<string | number>;
+export declare type TRecordKey = TString | TNumber | TKeyOf<any> | TUnion<any>;
 export declare type TEnumKey<T = TKey> = {
     type: 'number' | 'string';
     const: T;
 };
-export declare type TProperties = {
+export interface TProperties {
     [key: string]: TSchema;
-};
-export declare type TTuple<I> = Infer<I> & {
+}
+export interface TRecord<K extends TRecordKey, T extends TSchema> extends TSchema, ObjectOptions {
+    $static: StaticRecord<K, T>;
+    kind: typeof RecordKind;
+    type: 'object';
+    patternProperties: {
+        [pattern: string]: T;
+    };
+}
+export interface TTuple<T extends TSchema[]> extends TSchema, CustomOptions {
+    $static: StaticTuple<T>;
     kind: typeof TupleKind;
     type: 'array';
-    items?: TSchema[];
+    items?: T;
     additionalItems?: false;
     minItems: number;
     maxItems: number;
-} & CustomOptions;
-export declare type TObject<I> = Infer<I> & {
+}
+export interface TObject<T extends TProperties> extends TSchema, ObjectOptions {
+    $static: StaticObject<T>;
     kind: typeof ObjectKind;
     type: 'object';
-    properties: TProperties;
+    properties: T;
     required?: string[];
-} & ObjectOptions;
-export declare type TUnion<I> = Infer<I> & {
+}
+export interface TUnion<T extends TSchema[]> extends TSchema, CustomOptions {
+    $static: StaticUnion<T>;
     kind: typeof UnionKind;
-    anyOf: TSchema[];
-} & CustomOptions;
-export declare type TIntersect<I> = Infer<I> & {
+    anyOf: T;
+}
+export interface TIntersect<T extends TSchema[]> extends TSchema, IntersectOptions {
+    $static: StaticIntersect<T>;
     kind: typeof IntersectKind;
     type: 'object';
-    allOf: TSchema[];
-} & IntersectOptions;
-export declare type TKeyOf<I> = Infer<I> & {
+    allOf: T;
+}
+export interface TKeyOf<T extends TKey[]> extends TSchema, CustomOptions {
+    $static: StaticKeyOf<T>;
     kind: typeof KeyOfKind;
     type: 'string';
-    enum: string[];
-} & CustomOptions;
-export declare type TRecord<I> = Infer<I> & {
-    kind: typeof RecordKind;
-    type: 'object';
-    patternProperties: {
-        [pattern: string]: TSchema;
-    };
-} & ObjectOptions;
-export declare type TArray<I> = Infer<I> & {
+    enum: T;
+}
+export interface TArray<T extends TSchema> extends TSchema, ArrayOptions {
+    $static: StaticArray<T>;
     kind: typeof ArrayKind;
     type: 'array';
-    items: any;
-} & ArrayOptions;
-export declare type TLiteral<I> = Infer<I> & {
+    items: T;
+}
+export interface TLiteral<T extends TValue> extends TSchema, CustomOptions {
+    $static: StaticLiteral<T>;
     kind: typeof LiteralKind;
-    const: TValue;
-} & CustomOptions;
-export declare type TEnum<I> = Infer<I> & {
+    const: T;
+}
+export interface TEnum<T extends TEnumKey[]> extends TSchema, CustomOptions {
+    $static: StaticEnum<T>;
     kind: typeof EnumKind;
-    anyOf: TSchema;
-} & CustomOptions;
-export declare type TString = Infer<string> & {
+    anyOf: T;
+}
+export interface TRef<T extends TSchema> extends TSchema, CustomOptions {
+    $static: Static<T>;
+    kind: typeof RefKind;
+    $ref: string;
+}
+export interface TString extends TSchema, StringOptions<string> {
+    $static: string;
     kind: typeof StringKind;
     type: 'string';
-} & StringOptions<string>;
-export declare type TNumber = Infer<number> & {
+}
+export interface TNumber extends TSchema, NumberOptions {
+    $static: number;
     kind: typeof NumberKind;
     type: 'number';
-} & NumberOptions;
-export declare type TInteger = Infer<number> & {
+}
+export interface TInteger extends TSchema, NumberOptions {
+    $static: number;
     kind: typeof IntegerKind;
     type: 'integer';
-} & NumberOptions;
-export declare type TBoolean = Infer<boolean> & {
+}
+export interface TBoolean extends TSchema, CustomOptions {
+    $static: boolean;
     kind: typeof BooleanKind;
     type: 'boolean';
-} & CustomOptions;
-export declare type TNull = Infer<null> & {
+}
+export interface TNull extends TSchema, CustomOptions {
+    $static: null;
     kind: typeof NullKind;
     type: 'null';
-} & CustomOptions;
-export declare type TUnknown = Infer<unknown> & {
+}
+export interface TUnknown extends TSchema, CustomOptions {
+    $static: unknown;
     kind: typeof UnknownKind;
-} & CustomOptions;
-export declare type TAny = Infer<any> & {
+}
+export interface TAny extends TSchema, CustomOptions {
+    $static: any;
     kind: typeof AnyKind;
-} & CustomOptions;
+}
 export declare const ConstructorKind: unique symbol;
 export declare const FunctionKind: unique symbol;
 export declare const PromiseKind: unique symbol;
 export declare const UndefinedKind: unique symbol;
 export declare const VoidKind: unique symbol;
-export declare type TConstructor<T> = Infer<T> & {
+export interface TConstructor<T extends TSchema[], U extends TSchema> extends TSchema, CustomOptions {
+    $static: StaticConstructor<T, U>;
     kind: typeof ConstructorKind;
     type: 'constructor';
     arguments: TSchema[];
     returns: TSchema;
-} & CustomOptions;
-export declare type TFunction<T> = Infer<T> & {
+}
+export interface TFunction<T extends TSchema[], U extends TSchema> extends TSchema, CustomOptions {
+    $static: StaticFunction<T, U>;
     kind: typeof FunctionKind;
     type: 'function';
     arguments: TSchema[];
     returns: TSchema;
-} & CustomOptions;
-export declare type TPromise<T> = Infer<T> & {
+}
+export interface TPromise<T extends TSchema> extends TSchema, CustomOptions {
+    $static: StaticPromise<T>;
     kind: typeof PromiseKind;
     type: 'promise';
     item: TSchema;
-} & CustomOptions;
-export declare type TUndefined = Infer<undefined> & {
+}
+export interface TUndefined extends TSchema, CustomOptions {
+    $static: undefined;
     kind: typeof UndefinedKind;
     type: 'undefined';
-} & CustomOptions;
-export declare type TVoid = Infer<void> & {
+}
+export interface TVoid extends TSchema, CustomOptions {
+    $static: void;
     kind: typeof VoidKind;
     type: 'void';
-} & CustomOptions;
-export declare type TSchema = TIntersect<any> | TUnion<any> | TTuple<any> | TObject<any> | TKeyOf<any> | TRecord<any> | TArray<any> | TEnum<any> | TLiteral<any> | TString | TNumber | TInteger | TBoolean | TNull | TUnknown | TAny | TConstructor<any> | TFunction<any> | TPromise<any> | TUndefined | TVoid;
+}
+export declare type Selectable = TObject<TProperties> | TRef<TObject<TProperties>>;
+export declare type SelectablePropertyKeys<T extends Selectable> = T extends TObject<infer U> ? keyof U : T extends TRef<TObject<infer U>> ? keyof U : never;
+export declare type SelectableProperties<T extends Selectable> = T extends TObject<infer U> ? U : T extends TRef<TObject<infer U>> ? U : never;
 export declare type UnionToIntersect<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
-export declare type IntersectEvaluate<T extends readonly TSchema[]> = {
-    [K in keyof T]: Static<T[K]>;
-};
-export declare type IntersectReduce<I extends unknown, T extends readonly any[]> = T extends [infer A, ...infer B] ? IntersectReduce<I & A, B> : I;
-export declare type ReadonlyOptionalPropertyKeys<T extends TProperties> = {
+export declare type StaticReadonlyOptionalPropertyKeys<T extends TProperties> = {
     [K in keyof T]: T[K] extends TReadonlyOptional<TSchema> ? K : never;
 }[keyof T];
-export declare type ReadonlyPropertyKeys<T extends TProperties> = {
+export declare type StaticReadonlyPropertyKeys<T extends TProperties> = {
     [K in keyof T]: T[K] extends TReadonly<TSchema> ? K : never;
 }[keyof T];
-export declare type OptionalPropertyKeys<T extends TProperties> = {
+export declare type StaticOptionalPropertyKeys<T extends TProperties> = {
     [K in keyof T]: T[K] extends TOptional<TSchema> ? K : never;
 }[keyof T];
-export declare type RequiredPropertyKeys<T extends TProperties> = keyof Omit<T, ReadonlyOptionalPropertyKeys<T> | ReadonlyPropertyKeys<T> | OptionalPropertyKeys<T>>;
+export declare type StaticRequiredPropertyKeys<T extends TProperties> = keyof Omit<T, StaticReadonlyOptionalPropertyKeys<T> | StaticReadonlyPropertyKeys<T> | StaticOptionalPropertyKeys<T>>;
+export declare type StaticIntersectEvaluate<T extends readonly TSchema[]> = {
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
+};
+export declare type StaticIntersectReduce<I extends unknown, T extends readonly any[]> = T extends [infer A, ...infer B] ? StaticIntersectReduce<I & A, B> : I;
+export declare type StaticRequired<T extends TProperties> = {
+    [K in keyof T]: T[K] extends TReadonlyOptional<infer U> ? TReadonly<U> : T[K] extends TReadonly<infer U> ? TReadonly<U> : T[K] extends TOptional<infer U> ? U : T[K];
+};
+export declare type StaticPartial<T extends TProperties> = {
+    [K in keyof T]: T[K] extends TReadonlyOptional<infer U> ? TReadonlyOptional<U> : T[K] extends TReadonly<infer U> ? TReadonlyOptional<U> : T[K] extends TOptional<infer U> ? TOptional<U> : TOptional<T[K]>;
+};
 export declare type StaticProperties<T extends TProperties> = {
-    readonly [K in ReadonlyOptionalPropertyKeys<T>]?: Static<T[K]>;
+    readonly [K in StaticReadonlyOptionalPropertyKeys<T>]?: Static<T[K]>;
 } & {
-    readonly [K in ReadonlyPropertyKeys<T>]: Static<T[K]>;
+    readonly [K in StaticReadonlyPropertyKeys<T>]: Static<T[K]>;
 } & {
-    [K in OptionalPropertyKeys<T>]?: Static<T[K]>;
+    [K in StaticOptionalPropertyKeys<T>]?: Static<T[K]>;
 } & {
-    [K in RequiredPropertyKeys<T>]: Static<T[K]>;
+    [K in StaticRequiredPropertyKeys<T>]: Static<T[K]>;
 };
-export declare type StaticRecord<K extends TRecordKey, T extends TSchema> = K extends TString ? Record<string, Static<T>> : K extends TNumber ? Record<number, Static<T>> : K extends TKeyOf<any> ? Record<K['_infer'], Static<T>> : K extends TUnion<any> ? Record<K['_infer'], Static<T>> : never;
+export declare type StaticRecord<K extends TRecordKey, T extends TSchema> = K extends TString ? Record<string, Static<T>> : K extends TNumber ? Record<number, Static<T>> : K extends TKeyOf<TKey[]> ? Record<K['$static'], Static<T>> : K extends TUnion<TSchema[]> ? Record<K['$static'], Static<T>> : never;
 export declare type StaticEnum<T> = T extends TEnumKey<infer U>[] ? U : never;
 export declare type StaticKeyOf<T extends TKey[]> = T extends Array<infer K> ? K : never;
-export declare type StaticIntersect<T extends readonly TSchema[]> = IntersectReduce<unknown, IntersectEvaluate<T>>;
+export declare type StaticIntersect<T extends readonly TSchema[]> = StaticIntersectReduce<unknown, StaticIntersectEvaluate<T>>;
 export declare type StaticUnion<T extends readonly TSchema[]> = {
-    [K in keyof T]: Static<T[K]>;
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
 }[number];
 export declare type StaticTuple<T extends readonly TSchema[]> = {
-    [K in keyof T]: Static<T[K]>;
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
 };
-export declare type StaticObject<T extends TProperties> = StaticProperties<StaticProperties<T>>;
+export declare type StaticObject<T extends TProperties> = StaticProperties<T> extends infer I ? {
+    [K in keyof I]: I[K];
+} : never;
 export declare type StaticArray<T extends TSchema> = Array<Static<T>>;
 export declare type StaticLiteral<T extends TValue> = T;
-export declare type StaticConstructor<T extends readonly TSchema[], U extends TSchema> = new (...args: [...{
-    [K in keyof T]: Static<T[K]>;
-}]) => Static<U>;
-export declare type StaticFunction<T extends readonly TSchema[], U extends TSchema> = (...args: [...{
-    [K in keyof T]: Static<T[K]>;
-}]) => Static<U>;
+export declare type StaticParameters<T extends readonly TSchema[]> = {
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
+};
+export declare type StaticConstructor<T extends readonly TSchema[], U extends TSchema> = new (...args: [...StaticParameters<T>]) => Static<U>;
+export declare type StaticFunction<T extends readonly TSchema[], U extends TSchema> = (...args: [...StaticParameters<T>]) => Static<U>;
 export declare type StaticPromise<T extends TSchema> = Promise<Static<T>>;
-export declare type Static<T> = T extends TKeyOf<infer I> ? I : T extends TIntersect<infer I> ? I : T extends TUnion<infer I> ? I : T extends TTuple<infer I> ? I : T extends TObject<infer I> ? {
-    [K in keyof I]: I[K];
-} : T extends TRecord<infer I> ? I : T extends TArray<infer I> ? I : T extends TEnum<infer I> ? I : T extends TLiteral<infer I> ? I : T extends TString ? T['_infer'] : T extends TNumber ? T['_infer'] : T extends TInteger ? T['_infer'] : T extends TBoolean ? T['_infer'] : T extends TNull ? T['_infer'] : T extends TUnknown ? T['_infer'] : T extends TAny ? T['_infer'] : T extends TConstructor<infer I> ? I : T extends TFunction<infer I> ? I : T extends TPromise<infer I> ? I : T extends TUndefined ? T['_infer'] : T extends TVoid ? T['_infer'] : never;
+export declare type Static<T extends TSchema> = T['$static'];
 export declare class TypeBuilder {
-    /** `standard` Modifies an object property to be both readonly and optional */
+    protected readonly schemas: Map<string, TSchema>;
+    /** `Standard` Modifies an object property to be both readonly and optional */
     ReadonlyOptional<T extends TSchema>(item: T): TReadonlyOptional<T>;
-    /** `standard` Modifies an object property to be readonly */
+    /** `Standard` Modifies an object property to be readonly */
     Readonly<T extends TSchema>(item: T): TReadonly<T>;
-    /** `standard` Modifies an object property to be optional */
+    /** `Standard` Modifies an object property to be optional */
     Optional<T extends TSchema>(item: T): TOptional<T>;
-    /** `standard` Creates a type type */
-    Tuple<T extends TSchema[]>(items: [...T], options?: CustomOptions): TTuple<StaticTuple<T>>;
-    /** `standard` Creates an object type with the given properties */
-    Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<StaticProperties<T>>;
-    /** `standard` Creates an intersection type. Note this function requires draft `2019-09` to constrain with `unevaluatedProperties` */
-    Intersect<T extends TSchema[]>(items: [...T], options?: IntersectOptions): TIntersect<StaticIntersect<T>>;
-    /** `standard` Creates a union type */
-    Union<T extends TSchema[]>(items: [...T], options?: CustomOptions): TUnion<StaticUnion<T>>;
-    /** `standard` Creates an array type */
-    Array<T extends TSchema>(items: T, options?: ArrayOptions): TArray<StaticArray<T>>;
-    /** `standard` Creates an enum type from a TypeScript enum */
-    Enum<T extends TEnumType>(item: T, options?: CustomOptions): TEnum<StaticEnum<TEnumKey<T[keyof T]>[]>>;
-    /** `standard` Creates a literal type. Supports string, number and boolean values only */
-    Literal<T extends TValue>(value: T, options?: CustomOptions): TLiteral<StaticLiteral<T>>;
-    /** `standard` Creates a string type */
+    /** `Standard` Creates a type type */
+    Tuple<T extends TSchema[]>(items: [...T], options?: CustomOptions): TTuple<T>;
+    /** `Standard` Creates an object type with the given properties */
+    Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;
+    /** `Standard` Creates an intersect type. */
+    Intersect<T extends TSchema[]>(items: [...T], options?: IntersectOptions): TIntersect<T>;
+    /** `Standard` Creates a union type */
+    Union<T extends TSchema[]>(items: [...T], options?: CustomOptions): TUnion<T>;
+    /** `Standard` Creates an array type */
+    Array<T extends TSchema>(items: T, options?: ArrayOptions): TArray<T>;
+    /** `Standard` Creates an enum type from a TypeScript enum */
+    Enum<T extends TEnumType>(item: T, options?: CustomOptions): TEnum<TEnumKey<T[keyof T]>[]>;
+    /** `Standard` Creates a literal type. Supports string, number and boolean values only */
+    Literal<T extends TValue>(value: T, options?: CustomOptions): TLiteral<T>;
+    /** `Standard` Creates a string type */
     String<TCustomFormatOption extends string>(options?: StringOptions<StringFormatOption | TCustomFormatOption>): TString;
-    /** `standard` Creates a string type from a regular expression */
+    /** `Standard` Creates a string type from a regular expression */
     RegEx(regex: RegExp, options?: CustomOptions): TString;
-    /** `standard` Creates a number type */
+    /** `Standard` Creates a number type */
     Number(options?: NumberOptions): TNumber;
-    /** `standard` Creates an integer type */
+    /** `Standard` Creates an integer type */
     Integer(options?: NumberOptions): TInteger;
-    /** `standard` Creates a boolean type */
+    /** `Standard` Creates a boolean type */
     Boolean(options?: CustomOptions): TBoolean;
-    /** `standard` Creates a null type */
+    /** `Standard` Creates a null type */
     Null(options?: CustomOptions): TNull;
-    /** `standard` Creates an unknown type */
+    /** `Standard` Creates an unknown type */
     Unknown(options?: CustomOptions): TUnknown;
-    /** `standard` Creates an any type */
+    /** `Standard` Creates an any type */
     Any(options?: CustomOptions): TAny;
-    /** `standard` Creates a keyof type from the given object */
-    KeyOf<T extends TObject<any>>(schema: T, options?: CustomOptions): TKeyOf<keyof T['_infer']>;
-    /** `standard` Creates a record type */
-    Record<K extends TRecordKey, T extends TSchema>(key: K, value: T, options?: ObjectOptions): TRecord<StaticRecord<K, T>>;
-    /** `standard` Makes all properties in the given object type required */
-    Required<T extends TObject<any>>(schema: T, options?: ObjectOptions): TObject<Required<T['_infer']>>;
-    /** `standard` Makes all properties in the given object type optional */
-    Partial<T extends TObject<any>>(schema: T, options?: ObjectOptions): TObject<Partial<T['_infer']>>;
-    /** `standard` Picks property keys from the given object type */
-    Pick<T extends TObject<any>, K extends (keyof T['_infer'])[]>(schema: T, keys: [...K], options?: ObjectOptions): TObject<Pick<T['_infer'], K[number]>>;
-    /** `standard` Omits property keys from the given object type */
-    Omit<T extends TObject<any>, K extends (keyof T['_infer'])[]>(schema: T, keys: [...K], options?: ObjectOptions): TObject<Omit<T['_infer'], K[number]>>;
-    /** `standard` Omits the `kind` and `modifier` properties from the underlying schema */
+    /** `Standard` Creates a record type */
+    Record<K extends TRecordKey, T extends TSchema>(key: K, value: T, options?: ObjectOptions): TRecord<K, T>;
+    /** `Standard` Creates a keyof type from the given object */
+    KeyOf<T extends TObject<TProperties> | TRef<TObject<TProperties>>>(object: T, options?: CustomOptions): TKeyOf<SelectablePropertyKeys<T>[]>;
+    /** `Standard` Makes all properties in the given object type required */
+    Required<T extends TObject<TProperties> | TRef<TObject<TProperties>>>(object: T, options?: ObjectOptions): TObject<StaticRequired<T['properties']>>;
+    /** `Standard` Makes all properties in the given object type optional */
+    Partial<T extends TObject<TProperties> | TRef<TObject<TProperties>>>(object: T, options?: ObjectOptions): TObject<StaticPartial<T['properties']>>;
+    /** `Standard` Picks property keys from the given object type */
+    Pick<T extends TObject<TProperties> | TRef<TObject<TProperties>>, K extends SelectablePropertyKeys<T>[]>(object: T, keys: [...K], options?: ObjectOptions): TObject<Pick<SelectableProperties<T>, K[number]>>;
+    /** `Standard` Omits property keys from the given object type */
+    Omit<T extends TObject<TProperties> | TRef<TObject<TProperties>>, K extends SelectablePropertyKeys<T>[]>(object: T, keys: [...K], options?: ObjectOptions): TObject<Omit<SelectableProperties<T>, K[number]>>;
+    /** `Standard` Omits the `kind` and `modifier` properties from the underlying schema */
     Strict<T extends TSchema>(schema: T, options?: CustomOptions): T;
-    /** `extended` Creates a constructor type */
-    Constructor<T extends TSchema[], U extends TSchema>(args: [...T], returns: U, options?: CustomOptions): TConstructor<StaticConstructor<T, U>>;
-    /** `extended` Creates a function type */
-    Function<T extends TSchema[], U extends TSchema>(args: [...T], returns: U, options?: CustomOptions): TFunction<StaticFunction<T, U>>;
-    /** `extended` Creates a promise type */
-    Promise<T extends TSchema>(item: T, options?: CustomOptions): TPromise<StaticPromise<T>>;
-    /** `extended` Creates a undefined type */
+    /** `Extended` Creates a constructor type */
+    Constructor<T extends TSchema[], U extends TSchema>(args: [...T], returns: U, options?: CustomOptions): TConstructor<T, U>;
+    /** `Extended` Creates a function type */
+    Function<T extends TSchema[], U extends TSchema>(args: [...T], returns: U, options?: CustomOptions): TFunction<T, U>;
+    /** `Extended` Creates a promise type */
+    Promise<T extends TSchema>(item: T, options?: CustomOptions): TPromise<T>;
+    /** `Extended` Creates a undefined type */
     Undefined(options?: CustomOptions): TUndefined;
-    /** `extended` Creates a void type */
+    /** `Extended` Creates a void type */
     Void(options?: CustomOptions): TVoid;
-    /** `experimental` Creates a recursive type */
+    /** `Standard` Creates a namespace for a set of related types */
+    Namespace<T extends TDefinitions>($defs: T, options?: CustomOptions): TNamespace<T>;
+    /** `Standard` References a type within a namespace. The referenced namespace must specify an `$id` */
+    Ref<T extends TNamespace<TDefinitions>, K extends keyof T['$defs']>(namespace: T, key: K): TRef<T['$defs'][K]>;
+    /** `Standard` References type. The referenced type must specify an `$id` */
+    Ref<T extends TSchema>(schema: T): TRef<T>;
+    /** `Experimental` Creates a recursive type */
     Rec<T extends TSchema>(callback: (self: TAny) => T, options?: CustomOptions): T;
-    /** `experimental` Creates a recursive type. Pending https://github.com/ajv-validator/ajv/issues/1709 */
-    /** `experimental` Creates a namespace for a set of related types */
-    Namespace<T extends TDefinitions>(definitions: T, options?: CustomOptions): TNamespace<T>;
-    /** `experimental` References a type within a namespace. The referenced namespace must specify an `$id` */
-    Ref<T extends TNamespace<TDefinitions>, K extends keyof T['definitions']>(box: T, key: K): T['definitions'][K];
-    /** `experimental` References type. The referenced type must specify an `$id` */
-    Ref<T extends TSchema>(schema: T): T;
+    /** Conditionally stores and schema if it contains an $id and returns.  */
+    protected Store(schema: any): any;
+    /** Conditionally dereferences a schema if RefKind. Otherwise return argument. */
+    protected Deref(schema: any): any;
 }
 export declare const Type: TypeBuilder;