Default Time Zone
CUSTOM:*DEFAULT-TIME-ZONE*
contains the default time zone used by ENCODE-UNIVERSAL-TIME and
DECODE-UNIVERSAL-TIME. It is initially set to -1
(which means 1 hour east of Greenwich, i.e., Mid European Time).
The time zone in a decoded time does not necessarily have be an
INTEGER, but (as FLOAT or RATIONAL number)
it should be a multiple of 1/3600.
Table 25.7. Time granularity
| platform | UNIX | Win32 |
|---|---|---|
INTERNAL-TIME-UNITS-PER-SECOND | 1,000,000 | 10,000,000 |
GET-INTERNAL-RUN-TIME returns the amount of run time
consumed by the current CLISP process since its startup.
| These notes document CLISP version 2.49 | Last modified: 2010年07月07日 |