The `match` statement is used for pattern matching, allowing you to branch execution based on the value of an expression.