diff options
| author | Son Ho | 2022-02-09 16:35:36 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-09 16:35:36 +0100 |
| commit | dd1a786022b493c10da6f4d6d1c88a41b70e1eb5 (patch) | |
| tree | 959895c7e52f45635fff8999f9d8dcb0de0782c1 /src/InterpreterExpressions.ml | |
| parent | 056e6af4cf469dc9d72dff5222363edd9b563588 (diff) | |
Implement the generation of `decreases` clauses in the definition
signatures
Diffstat (limited to 'src/InterpreterExpressions.ml')
0 files changed, 0 insertions, 0 deletions