% $Id: RAppend.oz,v 1.2 2007/12/08 16:49:36 leavens Exp leavens $ 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