General Operators en_succ([T’]VAL) Successor enumerated value of T en_pred([T’]VAL) Predecessor enumerated value of T en_ordinal([T’]VAL) Ordinal position of VAL in T en_value(T,I) Value of the i’th element in T en_image([T’]VAL) String representation of VAL in T Parameters to these operators are either enumerated values (literals) or variables. The T’VAL notation is used for non-unique literals.
en_succ([T’]VAL)
en_pred([T’]VAL)
en_ordinal([T’]VAL)
en_value(T,I)
en_image([T’]VAL)
Parameters to these operators are either enumerated values (literals) or variables. The T’VAL notation is used for non-unique literals.