type HasUnderline<T> = "_" extends keyof T ? true : false;
type ExtractKeys<T> = {
    [K in keyof T]-?: K extends "_" ? never : K extends `_${string}` ? never : HasUnderline<T[K]> extends true ? K | ExtractKeys<T[K]> : K;
}[keyof T];
type AllKeys<T> = ExtractKeys<T>;
type HasUnderscoreKey<T> = T extends {
    _: unknown;
} ? true : false;
type FilteredKeys<T> = {
    [K in keyof T as HasUnderscoreKey<T[K]> extends true ? K : never]: Omit<T[K], "_">;
};
type Ex<T, K> = K extends keyof T ? T[K] : Ex<UnionToIntersection<MergedValues<T>>, K>;
type ExtractedValues<T> = T extends Record<string, infer V> ? V : never;
type MergedValues<T> = ExtractedValues<FilteredKeys<T>>;
type ToUnionOfFunction<T> = T extends any ? (x: T) => any : never;
type UnionToIntersection<T> = ToUnionOfFunction<T> extends (x: infer P) => any ? P : never;
type FlatObj<T> = {
    [key in AllKeys<T>]: Ex<T, key>;
};
type SetViewValue<T> = {
    [key in keyof T]: "_" extends keyof T[key] ? T[key]["_"] : T[key];
};
type frameType<T> = SetViewValue<FlatObj<T>>;
export type { frameType };