| *date-time-format* | The default format to use when printing dates and times. |
|---|
| date-time-string | |
|---|---|
| format-date | |
| print-backtrace | Send a backtrace for the error |
| print-backtrace-to-stream | Send a backtrace of the current error to stream. |
| print-condition | Print |
| time-date | Returns the date part of the given time. |
| time-day-of-week | Returns the day-of-week part of the given time. |
| time-daylight-savings-time-p | Returns the daylight-savings-time-p part of the given time. |
| time-hour | Returns the hour part of the given time. |
| time-minute | Returns the minute part of the given time. |
| time-month | Returns the month part of the given time. |
| time-second | Returns the second part of the given time. |
| time-year | Returns the year part of the given time. |