diff options
| author | Thomas Bauereiss | 2017-08-09 12:19:56 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-09 12:19:56 +0100 |
| commit | af1803ece80f4e278d2ff996bf9430a6a8551164 (patch) | |
| tree | 33d675cd54b043cffa9f96200f6d9422c4144e4f /src/rewriter.ml | |
| parent | 6100aecd642766252b73d3271a026d17de605fa0 (diff) | |
Pretty-print some more type annotations
Diffstat (limited to 'src/rewriter.ml')
0 files changed, 0 insertions, 0 deletions