diff options
| author | Son Ho | 2022-01-18 22:43:52 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-18 22:43:52 +0100 |
| commit | 280c5b1a7fde56d1d0238b44555de486fc1f563e (patch) | |
| tree | 7418c9ea9fb1d06bc6dc5a0547c770032719a3ab /dune-project | |
| parent | 90d47b033118c923591f7a64d63a98709ce7aa4b (diff) | |
Update type_context to have to have a type info field, use maps instead
of lists to store the types/functions definitions
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions