import type { InferDetailedType } from "../../../types/InferDetailedType";
import type { RequiredSingle, RequiredType, RequiredUnion } from "./PropertiesConstraint";
export type GetRequiredDef<TProperties extends Record<string, RequiredType>> = {
    -readonly [k in keyof TProperties]: TProperties[k] extends RequiredSingle ? InferDetailedType<TProperties[k]> : TProperties[k] extends RequiredUnion ? InferDetailedType<TProperties[k]["type"]> | InferDetailedType<TProperties[k]["optionalTypes"][number]> : never;
};