[Merged by Bors] - feat: drop completeness assumption in the definition of setToFun, expand API#39615
Closed
sgouezel wants to merge 7 commits into
Closed
[Merged by Bors] - feat: drop completeness assumption in the definition of setToFun, expand API#39615sgouezel wants to merge 7 commits into
setToFun, expand API#39615sgouezel wants to merge 7 commits into
Commits
Commits on May 20, 2026
- committed
- committed
- committed
- committed
- committed
Commits on May 21, 2026
- authored
- committed