timestr

timestr (timediff[, style[, format]])

Converts times to printable strings. Always exported. Takes the following arguments:

timediff

The object containing the times to be formatted.

style

The output format. The possible values of style are:

all

Shows all of the following times: wallclock, user, system, user time of children, and system time of children.

auto

Like all, except that if the children times are both zero, it acts like noc.

noc

Shows all except the two children times.

nop

Shows only wallclock and the two children times.

format

Indicates the printf(3)-style format specifier (without the leading %) to use for printing the times. The default is "5.2f".