diff options
| author | Alasdair Armstrong | 2017-08-15 17:51:12 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-15 17:51:12 +0100 |
| commit | 2a8f6086bc820fadc5e6fe8d4ad910196618d625 (patch) | |
| tree | c6b3d0a6e0e54d39c36af1618894ee3312a21ded /src/pretty_print_ocaml.ml | |
| parent | 92c6808329dbffd54a2a687049eabe8ddb5391af (diff) | |
Export existential destructuring function in type_check.mli.
Also rename some functions for consistency.
Diffstat (limited to 'src/pretty_print_ocaml.ml')
0 files changed, 0 insertions, 0 deletions