Converts times to printable strings. Always exported. Takes the following arguments:
The object containing the times to be formatted.
The output format. The possible values of style are:
Shows all of the following times: wallclock, user, system, user time of children, and system time of children.
all, except that if the children times are both zero,
it acts like
Shows all except the two children times.
Shows only wallclock and the two children times.
printf(3)-style format specifier (without the leading
to use for printing the times. The default is