diff options
| author | Son Ho | 2023-11-24 17:22:33 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-24 17:22:33 +0100 |
| commit | feb10e653131716698205f0b77b9623cdd1712b0 (patch) | |
| tree | 174d6c220d352981604d6ca6e61aef4d2489f6d2 /backends/lean/Base | |
| parent | 5b9f8de676829817d2b776166fda66bfb5128d6c (diff) | |
Update some assumed type names/variants
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions