% $Id: MaxNEL.oz,v 1.1 2008/03/04 03:29:40 leavens Exp leavens $ % ::= sing(T) % | cons(T ) declare fun {MaxNEL NEL} case NEL of sing(N) then N [] cons(N2 Rest) then {Max N2 {MaxNEL Rest}} end end