diff options
| author | Son Ho | 2023-09-17 06:58:17 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-17 06:58:17 +0200 |
| commit | 353a9627cf39290f2fe841a45e52726aa9fe6512 (patch) | |
| tree | d0b1562d6b611c7cf01a1561ad45e1fc6c67d732 /tests/lean/External/Opaque.lean | |
| parent | 80728093c432ba15eace9d6ce1cc9e3c56a80ff7 (diff) | |
Normalize the function signatures before translation to pure
Diffstat (limited to 'tests/lean/External/Opaque.lean')
0 files changed, 0 insertions, 0 deletions