import type { IsEqual } from '../equal/equal.js' export type DropMatch>, Criteria> = A['length'] extends 0 ? // empty tuple A : A extends readonly [infer Head, ...infer Tail] ? Tail['length'] extends 0 ? // single element tuple undefined extends Criteria ? DropMatch.ExcludeUnionOfEmptyTuple : DropMatch.ExcludeUnionOfEmptyTuple : // multiple elements Exclude extends never ? DropMatch : [Exclude, ...DropMatch] : never[] export namespace DropMatch { export type ExcludeUnionOfEmptyTuple = IsEqual extends true ? A : Exclude }