diff options
| author | Jon French | 2019-04-12 14:47:04 +0100 |
|---|---|---|
| committer | Jon French | 2019-04-12 14:47:04 +0100 |
| commit | 0f6fd188ca232cb539592801fcbb873d59611d81 (patch) | |
| tree | bd2ecb701fe49c8a8bb5be3f48e709b23bdd90b1 /src/specialize.ml | |
| parent | 63694e62ed04288f34204e6db139acd219bcfc96 (diff) | |
ToFromInterp_backend: print type annotations for abbrevs of unquantified types, to help out ocaml (hack)
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions