InnerEvalable(A, B)¶

This category provides eval operations. A domain may belong to this category if it is possible to make evaluation\ '' substitutions. The difference between this and Evalable is that the operations in this category specify the substitution as a pair of arguments rather than as an equation.
eval(f, x, v) replaces x by v in f.
eval(f, [x1, ..., xn], [v1, ..., vn]) replaces xi by vi in f.