-
johnvg@science.ru.nl authored
remove type variable names in the backend, because they are not used: replace contents_tv by contents_tv_argument_n, remove struct type_var, replace functions BEVarTypeNode and BENumberedVarTypeNode by BETypeVar0TypeNode and BETypeVarNTypeNode (without type variable name), remove functions BETypeVar, BENumberedTypeVar and NewTypeVar
f678810e