# Type Checking

```sh
destack check .
```