101102103104105106107108109110111
IO.println("no"); break; } if (Names instanceof Fun) { Fun NamedR = (Fun) R.numberVars(); for (int j = 0; j < Names.getArity(); j++) { IO.println(((Fun) Names).getArg(j) + "=" + NamedR.getArg(j)); } // IO.println(";");