diff options
| author | Son Ho | 2021-11-25 18:56:47 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-25 18:56:47 +0100 |
| commit | 4fa959d5e0c1deb99b3a506e21b795e36ff5f2af (patch) | |
| tree | d4dfb38e43e2a5f26b55bc323b54e52bb0172f66 /src/Interpreter.ml | |
| parent | 49acab814cd22908ce1a3647989b2ae6387993b0 (diff) | |
Use var instead of VarId.id in environments
Diffstat (limited to 'src/Interpreter.ml')
0 files changed, 0 insertions, 0 deletions