# Evalable R¶

This category provides eval operations. A domain may belong to this category if it is possible to make evaluation\ '' substitutions.
eval(f, x = v) replaces x by v in f.
eval(f, [x1 = v1, ..., xn = vn]) replaces xi by vi in f.