diff options
| author | Andreas Grois <andi@grois.info> | 2024-07-19 16:32:28 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-07-19 16:32:28 +0200 |
| commit | a8a999a227dd9d0d646c090263c4fd215265e207 (patch) | |
| tree | 562986cb2f198820b775dd8d1d9f55f0d09d426a /Common.lean | |
| parent | ab7f1623be14bafcc5d4b7bf870e121d6de54064 (diff) | |
Heap: Exchange return values of the remove/replace functions.
This makes it easier to extend them, due to the right-associativity of tuples.
Diffstat (limited to 'Common.lean')
0 files changed, 0 insertions, 0 deletions