diff options
| author | Brian Campbell | 2018-01-25 18:58:54 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-25 18:59:07 +0000 |
| commit | 98493e9de3e591d565d6d8c4f081f3dcb5346125 (patch) | |
| tree | 17fe76d2cf925b81958e331ae506dc54bccfea72 /src/pattern_completeness.mli | |
| parent | 6c2c957f14219f2234e675aac9960d44eaa73acb (diff) | |
Use set asserts as case splits in monomorphisation
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions