diff options
| author | Son Ho | 2023-09-18 13:52:52 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-18 13:52:52 +0200 |
| commit | 685391d3faa78d75f8d4bbded9cba12acbba5fcd (patch) | |
| tree | 6716f5a7e12f2f3a8c3c77d457dc7b36a931c236 /tests/lean/HashmapMain/FunsExternal.lean | |
| parent | 985277c435feaafcdb034cd51ff113d67b9304a6 (diff) | |
Add notations for the Isize.ofInt, etc.
Diffstat (limited to 'tests/lean/HashmapMain/FunsExternal.lean')
0 files changed, 0 insertions, 0 deletions