Module pat 

Pattern types.

Structs

Guard

A guard in a switch case pattern: when expr.

RecordPattern

A record pattern: Type(comp1, comp2, ...).

TypePattern

A type pattern: Type name or just Type.

Enums

Pattern

A Java pattern (used in instanceof, switch, etc.).