export type Assert<T extends true> = T;
export type HasAllKeys<T, Keys extends PropertyKey> = Exclude<Keys, keyof T> extends never ? true : false;
export type HasNoKeys<T, Keys extends PropertyKey> = Extract<Keys, keyof T> extends never ? true : false;
export type IsExactly<Actual, Expected> = [Actual] extends [Expected] ? [Expected] extends [Actual] ? true : false : false;
type DistributiveOmit<T, Keys extends PropertyKey> = T extends unknown ? Omit<T, Keys> : never;
type HasSamePropsExcept<Old, New, OldOnlyKeys extends PropertyKey, NewOnlyKeys extends PropertyKey> = IsExactly<DistributiveOmit<Old, OldOnlyKeys>, DistributiveOmit<New, NewOnlyKeys>>;
export type HasLegacyOnly<Old, New, LegacyKeys extends PropertyKey, NewKeys extends PropertyKey, ChangedSharedKeys extends PropertyKey = never> = HasAllKeys<Old, LegacyKeys> extends true ? HasNoKeys<Old, NewKeys> extends true ? HasAllKeys<New, NewKeys> extends true ? HasNoKeys<New, LegacyKeys> extends true ? HasSamePropsExcept<Old, New, LegacyKeys | ChangedSharedKeys, NewKeys | ChangedSharedKeys> : false : false : false : false;
export type HasRemovedLegacyOnly<Old, New, LegacyKeys extends PropertyKey> = HasAllKeys<Old, LegacyKeys> extends true ? HasNoKeys<New, LegacyKeys> : false;
export type HasLegacyWithCompatibleNew<Old, New, LegacyKeys extends PropertyKey, CompatibleNewKeys extends PropertyKey, NewOnlyKeys extends PropertyKey = never> = HasAllKeys<Old, LegacyKeys | CompatibleNewKeys> extends true ? HasNoKeys<Old, NewOnlyKeys> extends true ? HasAllKeys<New, CompatibleNewKeys | NewOnlyKeys> extends true ? HasNoKeys<New, LegacyKeys> extends true ? HasSamePropsExcept<Old, New, LegacyKeys, NewOnlyKeys> : false : false : false : false;
export type HasLegacyExportOnly<Old, New, Key extends PropertyKey> = HasAllKeys<Old, Key> extends true ? HasNoKeys<New, Key> : false;
export {};