diff options
| author | Alasdair Armstrong | 2017-07-25 16:22:21 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-25 16:22:21 +0100 |
| commit | e68bc2728db442d531f431aa050768e18486849d (patch) | |
| tree | d9e867310f4e8342ed2c459317f5ef07af0ee722 /src/sail.ml | |
| parent | 3ff8009f1dc81593a972eb2050f7e1159aba718a (diff) | |
Add instantiation_of helper function to type_check.mli that returns
the instantiated type variables in a function application
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions