import { IsAny, Iteration, KeyValuate } from "@re-do/utils";
import { ParseConfig, ShallowCycleError } from "./internal.js";
import { Root } from "../root.js";
import { References } from "../../references.js";
declare type CheckReferencesForShallowCycle<References extends string[], TypeSet, Seen> = References extends Iteration<string, infer Current, infer Remaining> ? CheckForShallowCycleRecurse<KeyValuate<TypeSet, Current>, TypeSet, Seen | Current> extends never ? CheckReferencesForShallowCycle<Remaining, TypeSet, Seen> : CheckForShallowCycleRecurse<KeyValuate<TypeSet, Current>, TypeSet, Seen | Current> : never;
declare type CheckForShallowCycleRecurse<Def, TypeSet, Seen> = IsAny<Def> extends true ? never : Def extends Seen ? Seen : Def extends string ? CheckReferencesForShallowCycle<References<Def, {
    asList: true;
}>, TypeSet, Seen> : never;
declare type CheckForShallowCycle<Def, TypeSet> = CheckForShallowCycleRecurse<Def, TypeSet, never>;
export declare namespace TypeSetMember {
    type Definition<Def extends Root.Definition = Root.Definition> = Def;
    type Validate<Def, TypeSet> = IsAny<Def> extends true ? "any" : CheckForShallowCycle<Def, TypeSet> extends never ? Root.Validate<Def, TypeSet> : ShallowCycleError<Def & string, CheckForShallowCycle<Def, TypeSet>>;
    type Parse<Def, TypeSet, Options extends ParseConfig> = Root.Parse<Def, TypeSet, Options>;
}
export {};