projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aade6d9) | patch
Add fold_left/right functions to the set interface (iterate in
authorKim Nguyễn <kn@lri.fr>
Wed, 14 Aug 2013 08:59:27 +0000 (10:59 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 Aug 2013 08:59:27 +0000 (10:59 +0200)
commita601c67e92d85f7096db693e4fde86950be598c6
tree494067edfc3293336d3dd2be9dccd659c871dd1etree | snapshot
parentaade6d9ba2e2b65e021de8a1c3a2d3874aa5742ecommit | diff
Add fold_left/right functions to the set interface (iterate in
increasing/decreasing order of keys).
src/common_sig.ml diff | blob | history
src/finiteCofinite.ml diff | blob | history
src/ptset.ml diff | blob | history
src/run.ml diff | blob | history
Tree Automata TOOlkit