Emphasizing the "smart"ness of Array.smartfoldmap{,2} in their documentation.
Emphasizing the "smart"ness of Array.smartfoldmap{,2} in their documentation.

This follows the model of smartmap and smartmap2.

Matafou/coq,maximedenes/coq,SkySkimmer/coq,gares/coq,coq/coq,JasonGross/coq,coq/coq,SkySkimmer/coq,maximedenes/coq,maximedenes/coq,ppedrot/coq,silene/coq,JasonGross/coq,SkySkimmer/coq,SkySkimmer/coq,Matafou/coq,gares/coq,coq/coq,ejgallego/coq,silene/coq,ppedrot/coq,ppedrot/coq,maximedenes/coq,ppedrot/coq,ejgallego/coq,gares/coq,ppedrot/coq,ejgallego/coq,JasonGross/coq,JasonGross/coq,coq/coq,ejgallego/coq,Zimmi48/coq,Zimmi48/coq,maximedenes/coq,Matafou/coq,Zimmi48/coq,gares/coq,gares/coq,silene/coq,Zimmi48/coq