diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 23:39:40 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 23:39:40 -0300 |
| commit | 726f3dfb116ec9265041e642000612831633fe3c (patch) | |
| tree | cac0e9e4e967e2f78163d1429213b69ff959e60b /lib/program.ml | |
| parent | 5d967951eb0b08c36ee59f70d7f4cca37b0ca72b (diff) | |
| download | SOL-726f3dfb116ec9265041e642000612831633fe3c.tar.gz SOL-726f3dfb116ec9265041e642000612831633fe3c.zip | |
mutual recursion admitted under lexicographic measures
Diffstat (limited to 'lib/program.ml')
0 files changed, 0 insertions, 0 deletions