Binders library that's used in many Iris developments.

This is the binders library that's being used in many Iris libraries (e.g. heap-lang, lambdarust, fairis, Iron, ...).

Since it's not Iris specific, I propose to put it in stdpp.

added 1 commit

• 4d9d84b4 - Binders library that's used in many Iris developments.

Compare with previous version

resolved all discussions

added 1 commit

• 9054147a - Binders library that's used in many Iris developments.

Compare with previous version

resolved all discussions

mentioned in commit 0f2d2c8a

merged