function listSetRest<A> input list<A> inConsCell "A non-empty list"; input list<A> inNewRest; end listSetRest;