diff options
| author | Pierre-Marie Pédrot | 2013-11-07 22:33:55 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-04-24 16:14:04 +0200 |
| commit | 3b9fae83567097d53c3560c532865b334c99d59f (patch) | |
| tree | beeff282e4123a2789efa313398ec4be0ac30b6b /dev/include | |
| parent | 58349a91a3243f0b382cf74f9c707e7b652a0d43 (diff) | |
Adding a [fold_map] operation on constrs.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions