diff options
| author | Alasdair Armstrong | 2017-07-27 01:35:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-27 01:35:34 +0100 |
| commit | ac5587fb00cb7c3a14731b3d952ca7dedd7e4d3b (patch) | |
| tree | c346017361982bfa45ff7f70c8b96caec9344845 /src/pp.ml | |
| parent | e4d85d005f87f3260bddcd030e2a7e4957c1379c (diff) | |
Fixed pretty printer for existentials
Also fixed substitution functions so as to not substitute captured kind identifiers
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions