const

Synopsis:

(const const)

Description:

Returns the value of the global constant const.

Example:

(const "time")

Contact: Fulvio Frapolli (fulvio . frapolli //at// unifr . ch), Amos Brocco (amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @