% $Id: DeleteFirst.oz,v 1.1 2007/10/22 07:09:55 leavens Exp leavens $ declare fun {DeleteFirst Sought Ls} case Ls of E|Es then if Sought == E then Es else E|{DeleteFirst Sought Es} end else nil end end