diff options
| author | Dawer <[email protected]> | 2021-05-19 06:57:10 +0100 |
|---|---|---|
| committer | Dawer <[email protected]> | 2021-05-19 07:08:59 +0100 |
| commit | e2b1c69f7488b942360bb3c398a1c831510d1afc (patch) | |
| tree | fa3e88ea5b1ad0ff4f5e3de535b6dc188a2f1a2c /lib/arena | |
| parent | 472317c00870c007f552cde1f3c490e04f29919a (diff) | |
Check patterns for type match recursively.
Diffstat (limited to 'lib/arena')
0 files changed, 0 insertions, 0 deletions