diff options
| author | Brian Campbell | 2017-06-28 17:30:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-06-28 17:30:32 +0100 |
| commit | 8c94d3b6250e04b602a8bd430a067b55c76cef92 (patch) | |
| tree | d4b263eeae4e8be8d2859f6e5bc6784cf75cfec4 /src/initial_check.mli | |
| parent | 8a3c9dfc84e552d296c80c38b417c2b22e6f1da8 (diff) | |
Reduce simple enumeration cases during monomorphisation
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions