diff options
| author | Alasdair | 2018-12-12 03:42:10 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-12 03:42:10 +0000 |
| commit | ed5b58ba3a5a73253565edcb6460d2b48f56f887 (patch) | |
| tree | 573c358d079adcc59a7eb767857ec3119d3a646e /src/reporting.mli | |
| parent | cdf287dfb69275e479d79ebc0d305e365dd3ee7b (diff) | |
Generalise existentials for non-integer type variables
Diffstat (limited to 'src/reporting.mli')
0 files changed, 0 insertions, 0 deletions