$use Apply Arithm StdIO;


$func Filter s.Fname e.Fargs (e.list) = e.new-list;

Filter s.Fname e.Fargs (e.list) =
  () e.list $iter {
    e.list : t.item e.rest, {
      <Apply s.Fname e.Fargs t.item> : e =
        (e.new-list t.item) e.rest;
      (e.new-list) e.rest;
    };
  } :: (e.new-list) e.list,
  e.list : /*empty*/ =
  e.new-list;


$func? Div? s.n s.k = ;

Div? s.n s.k = <Rem s.k s.n> : 0;

Main = <WriteLN <Filter &Div? 3 (1 2 3 4 5 6 7 8 9 10)>>;