% $Id: RAppend.oz,v 1.1 2007/11/26 19:44:07 leavens Exp leavens $ \insert 'SolveFirst.oz' \insert 'SolveAll.oz' declare % cf. Append in section 9.3.3 of CTM proc {RAppend ?A ?B ?C} choice A=nil B=C [] local As Cs X in A=X|As C=X|Cs {RAppend As B Cs} end end end