Lines Matching refs:variable
285 values of type $N$ must be variable (which always matches), and the
287 applied to this variable whereever the corresponding value of type
759 same type modulo variable renaming; 3) each type variable occurring in the
765 variable renaming, they are translated to projections of a new function of
1201 & v & \mbox{type \ variable}\\
1233 & v & \mbox{variable \ of \ datatype}\\
1247 & x & \mbox{variable} \\
1266 \mbox{have \ only \ one \ type \ variable}
1306 & x & \mbox{variable} \\
1331 \ variable \ renaming} \