Type Alias Pattern

Pattern:
    | Primitive
    | Pat<unknown, Captures>
    | readonly Pattern[]
    | { readonly [key: string]: Pattern }

Anything accepted as a pattern: a primitive literal, a combinator from P, a tuple of patterns, or a plain object of patterns.