diff options
| author | Son Ho | 2023-10-24 15:26:41 +0200 |
|---|---|---|
| committer | Son Ho | 2023-10-24 15:26:41 +0200 |
| commit | b631875f8166b3db81187a179eef2f21f52db2bd (patch) | |
| tree | 5606c4a8ebdcaa1ab3650bebb025409f186f9689 /tests/lean/Loops.lean | |
| parent | be70eed487b507dc002660a4c891397003165e75 (diff) | |
Remove the possibility of generating opaque module signatures
Diffstat (limited to 'tests/lean/Loops.lean')
0 files changed, 0 insertions, 0 deletions