summaryrefslogtreecommitdiff
path: root/src/InterpreterProjectors.ml
diff options
context:
space:
mode:
authorSon Ho2022-01-18 22:43:52 +0100
committerSon Ho2022-01-18 22:43:52 +0100
commit280c5b1a7fde56d1d0238b44555de486fc1f563e (patch)
tree7418c9ea9fb1d06bc6dc5a0547c770032719a3ab /src/InterpreterProjectors.ml
parent90d47b033118c923591f7a64d63a98709ce7aa4b (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 'src/InterpreterProjectors.ml')
0 files changed, 0 insertions, 0 deletions