Module VariableGenerator

Module with operations to generate unused variables.

Author: Lasse Folger (with changes by Michael Hanus)

Version: September 2015

Summary of exported operations:

vars :: CRule -> [(Int,String)]

varsL :: [CRule] -> [(Int,String)]

Exported operations:

vars :: CRule -> [(Int,String)]

varsL :: [CRule] -> [(Int,String)]