39404142434445
public ExtFun asExtFun() { return new ExtFun(mod, fun, arity); } public ETuple toSymbolic() { return ETuple.make(mod, fun, new ESmall(arity)); }