import { Evaluate, Narrow } from "@re-do/utils";
import { ParseFunction, DefaultParseTypeOptions } from "./parse.js";
import { TypeSet } from "./components";
export declare const createCompileFunction: <DeclaredTypeNames extends string[]>(declaredTypeNames: import("@re-do/utils").CastWithExclusion<DeclaredTypeNames, import("@re-do/utils").NarrowRecurse<DeclaredTypeNames>, []>) => <Definitions extends TypeSet.ValidateMemberList<Definitions, DeclaredTypeNames, TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>>, keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string, DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>, import("@re-do/utils").Cast<import("@re-do/utils").ListPossibleTypes<(DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>) extends keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string ? never : DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>>, (DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>)[]> extends [] ? {} : import("@re-do/utils").StringReplace<`Declared types ${import("@re-do/utils").Join<import("@re-do/utils").ListPossibleTypes<`'${import("@re-do/utils").ElementOf<import("@re-do/utils").Cast<import("@re-do/utils").ListPossibleTypes<(DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>) extends keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string ? never : DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>>, (DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>)[]>>}'`>, ", ", "">} were never defined.`, "@types", import("@re-do/utils").Join<import("@re-do/utils").ListPossibleTypes<`'${import("@re-do/utils").ElementOf<import("@re-do/utils").Cast<import("@re-do/utils").ListPossibleTypes<(DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>) extends keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string ? never : DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>>, (DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : import("@re-do/utils").ElementOf<DeclaredTypeNames>)[]>>}'`>, ", ", "">>>>(...definitions: import("@re-do/utils").CastWithExclusion<Definitions, import("@re-do/utils").NarrowRecurse<Definitions>, []>) => {
    parse: ParseFunction<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>>;
    types: TypeSet.Parse<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>, DefaultParseTypeOptions>;
};
export declare const compile: <Definitions extends TypeSet.ValidateMemberList<Definitions, never[], TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>>, keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string, keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string, import("@re-do/utils").Cast<import("@re-do/utils").ListPossibleTypes<keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string extends keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string ? never : keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string>, (keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string)[]> extends [] ? {} : import("@re-do/utils").StringReplace<`Declared types ${import("@re-do/utils").Join<import("@re-do/utils").ListPossibleTypes<`'${import("@re-do/utils").ElementOf<import("@re-do/utils").Cast<import("@re-do/utils").ListPossibleTypes<keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string extends keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string ? never : keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string>, (keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string)[]>>}'`>, ", ", "">} were never defined.`, "@types", import("@re-do/utils").Join<import("@re-do/utils").ListPossibleTypes<`'${import("@re-do/utils").ElementOf<import("@re-do/utils").Cast<import("@re-do/utils").ListPossibleTypes<keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string extends keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string ? never : keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string>, (keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string)[]>>}'`>, ", ", "">>>>(...definitions: import("@re-do/utils").CastWithExclusion<Definitions, import("@re-do/utils").NarrowRecurse<Definitions>, []>) => {
    parse: ParseFunction<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>>;
    types: TypeSet.Parse<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>, DefaultParseTypeOptions>;
};
export declare type CompileFunction<DeclaredTypeNames extends string[]> = <Definitions extends TypeSet.ValidateMemberList<Definitions, DeclaredTypeNames>>(...definitions: Narrow<Definitions>) => CompiledTypeSet<Definitions>;
export declare type CompiledTypeSet<Definitions, MergedTypeSet = TypeSet.MergeMemberList<Definitions>> = Evaluate<{
    parse: ParseFunction<MergedTypeSet>;
    types: TypeSet.Parse<MergedTypeSet, DefaultParseTypeOptions>;
}>;