diff options
author | Son Ho | 2023-07-26 15:00:11 +0200 |
---|---|---|
committer | Son Ho | 2023-07-26 15:00:11 +0200 |
commit | 3337c4ac3326c3132dcc322f55f23a7d2054ceb0 (patch) | |
tree | 4753f8a49b2b28917600a872caa3d31964cb6fd8 /tests/lean/NoNestedBorrows.lean | |
parent | 81e991822879a942af34489b7a072f31739f28f6 (diff) |
Update some of the Vec function specs
Diffstat (limited to 'tests/lean/NoNestedBorrows.lean')
0 files changed, 0 insertions, 0 deletions