% $Id: CAdd.oz,v 1.2 2008/01/14 22:46:38 leavens Exp leavens $ % Examples to generalize from... declare Add1 Add2 Add3 fun {Add1 X} X+1 end fun {Add2 X} X+2 end Add3 = fun {$ X} X+3 end % The generalization... declare CAdd fun {CAdd N} fun {$ M} M+N end end