diff options
| author | Brian Campbell | 2018-12-12 18:23:00 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-12-12 18:23:00 +0000 |
| commit | f8d88d4cf2439f4920fa948b054c4f0b2899e368 (patch) | |
| tree | ca227449fe5579ecfd3ac003d8dd31e33fa92d41 /src/process_file.mli | |
| parent | 4f20163965e7c336f28740628fa9d64528006861 (diff) | |
Move much of recursive function termination to a rewrite
It now includes updating the effects so that morally pure recursive
functions can be turned into this impure termination-by-assertion form.
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions