% $Id: Filter.oz,v 1.1 2008/10/14 21:47:11 leavens Exp leavens $ declare fun {Filter Ls Pred} case Ls of H|T then if {Pred H} then H|{Filter T Pred} else {Filter T Pred} end else nil end end