% $Id: All.oz,v 1.1 2008/10/15 01:27:11 leavens Exp leavens $ declare fun {All Ls Pred} case Ls of H|T then {Pred H} andthen {All T Pred} else true end end