1.3.2. ПЕРЕМЕННЫЕ Каждая переменная в Рефале Плюс должна начинаться с признака типа переменной. Признак типа указывает на множество допустимых значений переменной и должен быть одной из четырех букв: s, t, v или e. В соответствии с этим все переменные делятся на четыре категории: s-переменные, t-переменные, v-переменные и e-переменные. Значениями s-переменных могут быть только символы, значениями t-переменных - только объектные термы, значениями v-переменных - только непустые объектные выражения. Что касается e-переменных, то их значениями могут быть произвольные объектные выражения.
В дальнейшем мы будем говорить, что некоторая переменная является ve-переменной, если она является либо v-переменной, либо e-переменной.