%% $Id: AppendMap.oz,v 1.3 2012/01/07 16:19:58 leavens Exp $ %% AUTHOR: Gary T. Leavens declare fun {AppendMap L F} %% ENSURES: Result is a list formed by appending the results of %% F applied to each element of L in order case L of E|Es then {Append {F E} {AppendMap Es F}} else nil end end