---
# System prepended metadata

title: native pattern-matching

---

1. native pattern-matching
```
match ...
```
2. witness generator 
-- AP: what is the right syntax?
```


```
3. let pattern = term
```
```
4. failure: `fail = {false} any` 
-- AP: why not just call the handler `fail`, which is already defined this way?
5. 