On this page:
pattern_  clause
pattern_  clause.macro
8.12
7.13.9 Syntax Pattern Clause Macros🔗ℹ

The space for bindings of identifiers that implement pattern_body clauses.

Similar to defn.macro, but defines a name in the pattern_clause space as a clause form for use within a pattern_body.

The compile-time body block returns the expansion result. The result must be a sequence of groups to be spliced in place of the macro use within a pattern_body.