diff options
| author | Alasdair Armstrong | 2018-02-05 22:58:22 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-05 22:58:22 +0000 |
| commit | 17265a95407c62e78bb850c0e6ffb0876c85c5cb (patch) | |
| tree | 91eb1aba10472c88aefc45c1e62f19250626ddcb /src/initial_check.mli | |
| parent | 61290ddac2c50e5e0888c555eb7e355326b86d17 (diff) | |
Add typ patterns for destructuring existentials
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions