(declare (pure ...))

[Al]

Hi,


what does (declare (pure ..)) mean to csc? Is the function supposed to be

* only side-effect free, or ...

* also return the same value when called with the same arguments?


Thanks,

Al