import { ElementOf, Narrow } from "@re-do/utils";
import { CompileFunction } from "./compile.js";
import { TypeSet } from "./components";
export declare const createDefineFunctionMap: <DeclaredTypeNames extends string[]>(typeNames: DeclaredTypeNames) => DefineFunctionMap<DeclaredTypeNames>;
export declare type DefineFunctionMap<DeclaredTypeNames extends string[]> = {
    [DefinedTypeName in ElementOf<DeclaredTypeNames>]: DefineFunction<DefinedTypeName, DeclaredTypeNames>;
};
export declare type DefineFunction<DefinedTypeName extends ElementOf<DeclaredTypeNames>, DeclaredTypeNames extends string[]> = <Def>(definition: TypeSet.ValidateReferences<Narrow<Def>, ElementOf<DeclaredTypeNames>>) => {
    [K in DefinedTypeName]: Def;
};
export declare const createDefineFunction: <DefinedTypeName extends ElementOf<DeclaredTypeNames>, DeclaredTypeNames extends string[]>(declaredTypeNames: DeclaredTypeNames, definedTypeName: DefinedTypeName) => DefineFunction<DefinedTypeName, DeclaredTypeNames>;
export declare type Declaration<DeclaredTypeNames extends string[] = string[]> = {
    define: DefineFunctionMap<DeclaredTypeNames>;
    compile: CompileFunction<DeclaredTypeNames>;
};
export declare const declare: <DeclaredTypeNames extends string[]>(...names: import("@re-do/utils").CastWithExclusion<DeclaredTypeNames, import("@re-do/utils").NarrowRecurse<DeclaredTypeNames>, []>) => {
    define: DefineFunctionMap<import("@re-do/utils").CastWithExclusion<DeclaredTypeNames, import("@re-do/utils").NarrowRecurse<DeclaredTypeNames>, []>>;
    compile: <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 : 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 : 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 : ElementOf<DeclaredTypeNames>>, (DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : ElementOf<DeclaredTypeNames>)[]> extends [] ? {} : import("@re-do/utils").StringReplace<`Declared types ${import("@re-do/utils").Join<import("@re-do/utils").ListPossibleTypes<`'${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 : 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 : ElementOf<DeclaredTypeNames>>, (DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : ElementOf<DeclaredTypeNames>)[]>>}'`>, ", ", "">} were never defined.`, "@types", import("@re-do/utils").Join<import("@re-do/utils").ListPossibleTypes<`'${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 : 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 : ElementOf<DeclaredTypeNames>>, (DeclaredTypeNames extends never[] ? keyof TypeSet.Validate<import("@re-do/utils").MergeAll<Definitions, import("@re-do/utils").DefaultMergeOptions, {}>> & string : ElementOf<DeclaredTypeNames>)[]>>}'`>, ", ", "">>>>(...definitions: import("@re-do/utils").CastWithExclusion<Definitions, import("@re-do/utils").NarrowRecurse<Definitions>, []>) => {
        parse: import("./parse.js").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, {}>, import("./parse.js").DefaultParseTypeOptions>;
    };
};