doc: primops: add more info for foldl #9254
Merged
dpulls / dpulls
succeeded
Nov 23, 2023
All dependencies are resolved.
Details
Loading