NAME

ctime - convert a time integer into a string

SYNOPSIS

string ctime(int time)

DESCRIPTION

Convert the specified time, which is an integer such as is returned
by the kfun time(), into a string of the form
"Tue Aug  3 14:40:18 1993".

SEE ALSO

• kfuns/millitime
• kfuns/time