feat: extrinsic finiteness proofs for toList, toListRev and toArray on iterators#10785
Closed
datokrat wants to merge 12 commits intopaul/base/iterators/extrinsicfrom
Closed
feat: extrinsic finiteness proofs for `toList`, `toListRev` and `toArray` on iterators#10785datokrat wants to merge 12 commits intopaul/base/iterators/extrinsicfrom
datokrat wants to merge 12 commits intopaul/base/iterators/extrinsicfrom
Commits
Commits on Dec 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
