How to rename a file?

I have a file used in customized session.
I want to rename the file once the file is processed.
The process uses seq.* functions such as seq.open, seq.gets, seq.puts, and seq.close.
I have searched for "seq", "rename", and "change file name" but to no avail.