Predicate type

Signature

export type Predicate<
  From,
  To extends From = From,
  Args extends unknown[] = [],
> =
  | ((value: From, ...args: InnerParams<Args>) => value is To)
  | ((value: From, ...args: InnerParams<Args>) => Awaitable<boolean>);

References: InnerParams, Awaitable