sweirich/pi-forall — pull request #7 by nomeata (2014-06-20 00:01:13+00:00)
Title: Factor out constraintToDecls

(if you like that better. Might repeat work in various places, though.)