O(1). A destructive operation changing the "first" part of a cons-cell.
function listSetFirst<A> input list<A> inConsCell "A non-empty list"; input A inNewContent; end listSetFirst;