(documentation#'foo 'function)＝&gt; "hi there"