diff options
| author | Brian Campbell | 2019-02-05 17:27:52 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-05 17:28:07 +0000 |
| commit | 2e6b258fee6929e060a6c55c889fd479ee543fc3 (patch) | |
| tree | 97ebd718292cd899f0caf9a2297b41fc137e99e6 /aarch64/_CoqProject | |
| parent | f1af348146a5810d1a21ee272d1799adfe2d545b (diff) | |
Use more general types for lexps in the internal lets rewriting pass
This reduces the amount of unnecessary complex existentials that appear
during rewriting.
Diffstat (limited to 'aarch64/_CoqProject')
0 files changed, 0 insertions, 0 deletions