298299300301302303304305306307308
all0(max, To, key, FXs); } Fun R = new Fun("$", To.size()); // IO.mes("RR"+R); To.copyInto(R.args); return ((Cons) R.listify()).args[1]; } private Term all2(int max, String k, Term FXs) { if (k == null)
316317318319320321322323324
{ return Const.NIL; } Fun R = new Fun("$", To.size()); To.copyInto(R.args); Term T = ((Cons) R.listify()).args[1]; return T; } }