From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 14 Aug 2013 08:59:27 +0000 (+0200)
Subject: Add fold_left/right functions to the set interface (iterate in
X-Git-Tag: v0.1~47
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=a601c67e92d85f7096db693e4fde86950be598c6;hp=a601c67e92d85f7096db693e4fde86950be598c6

Add fold_left/right functions to the set interface (iterate in
increasing/decreasing order of keys).
---