From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 20 Nov 2013 21:46:24 +0000 (+0100)
Subject: Add a utility function Boolean.iter that iterates a function over a formula.
X-Git-Tag: v0.1~35
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=f3d9a505aa793e7db4f9528fca98e9b37b0511b0;hp=f3d9a505aa793e7db4f9528fca98e9b37b0511b0

Add a utility function Boolean.iter that iterates a function over a formula.
---