bnfc
NamedVariables
type IVar = (String, Int)
type UserDef = String
type SymEnv = [(String, String)]
getVars :: [Cat] -> [IVar]
numVars :: [(String, Int)] -> [Either String b] -> [Either String b]
fixCoercions :: [(Cat, [Rule])] -> [(Cat, [Rule])]