free package:sbv

Create a free variable, universal in a proof, existential in sat NB. For a version which generalizes over the underlying monad, see free
Generalization of free
Create an unnamed free variable, universal in proof, existential in sat NB. For a version which generalizes over the underlying monad, see free_
Generalization of free_
Create a bunch of free vars NB. For a version which generalizes over the underlying monad, see mkFreeVars
Generalization of mkFreeVars