import { type TSchema } from '../../types/schema.mjs';
import { type TCyclic } from '../../types/cyclic.mjs';
import { type TDependent } from '../../types/dependent.mjs';
import { type TIntersect } from '../../types/intersect.mjs';
import { type TProperties } from '../../types/properties.mjs';
import { type TObject } from '../../types/object.mjs';
import { type TTuple } from '../../types/tuple.mjs';
import { type TUnion } from '../../types/union.mjs';
import { type TFromCyclic } from './from_cyclic.mjs';
import { type TFromDependent } from './from_dependent.mjs';
import { type TFromIntersect } from './from_intersect.mjs';
import { type TFromObject } from './from_object.mjs';
import { type TFromTuple } from './from_tuple.mjs';
import { type TFromUnion } from './from_union.mjs';
export type TFromType<Type extends TSchema, Result extends TProperties = (Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? TFromCyclic<Defs, Ref> : Type extends TDependent<infer If extends TSchema, infer Then extends TSchema, infer Else extends TSchema> ? TFromDependent<If, Then, Else> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Types> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<Properties> : {})> = Result;
export declare function FromType<Type extends TSchema>(type: Type): TFromType<Type>;