O(1). A destructive operation changing the "rest" part of a cons-cell. NOTE: Make sure you do NOT create cycles as infinite lists are not handled well in the compiler.
function listSetRest<A> input list<A> inConsCell "A non-empty list"; input list<A> inNewRest; end listSetRest;