[plt-dev] programmatic access to contracts

Hi,

Is there a way to programmatically access (a representation of) a given
function's contract? (I would use that representation to display
function contracts in my emacs-scheme interaction thingie).

Thanks!
jao
-- 
Not far from the invention of fire must rank the invention of doubt.
-Thomas Henry Huxley, biologist (1825-1895)