ekmett/ersatz — pull request #6 by glguy (2014-11-20 22:13:25+00:00)
Title: Export GVariable and its methods

Exporting this class and its methods enables authors
to use the generically derived exists and forall implementations
as utilities while generating their own instances.