diff options
| author | Alasdair | 2020-09-28 15:57:17 +0100 |
|---|---|---|
| committer | Alasdair | 2020-09-28 15:57:17 +0100 |
| commit | 6dbd0facf0962d869d0c3957f668b035a4a6605c (patch) | |
| tree | 7c78c4388024e1dffa34b677f42d97cc4dc807d2 /src/interactive.ml | |
| parent | cf42208a74138a32393073fef574c24bd73a27fc (diff) | |
Refactor: Rename 'a defs to 'a ast
Change internal terminology so we more clearly distinguish between a list of
definitions 'defs' and functions that take an entire abstract syntax
trees 'ast'.
Diffstat (limited to 'src/interactive.ml')
0 files changed, 0 insertions, 0 deletions