diff options
| author | Son Ho | 2023-12-07 12:07:39 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-07 12:07:39 +0100 |
| commit | 0209fee47a11b371d258fe02b8cc59b325de21d6 (patch) | |
| tree | 9e23c2618c7138a02be28310eb8deaac2b4b3c5c /backends/lean/Base | |
| parent | eb05c2e3b63377c323c33c1296495baa9357596a (diff) | |
Use a better syntax when extracting tuple types (structures with unnamed fields)
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions