% $Id: ListLength.oz,v 1.2 2008/01/05 19:53:19 leavens Exp leavens $
declare

% Return the length of the argument list
fun {ListLength L}
   case L of
      _|T then 1 + {ListLength T}
   else 0
   end
end