Comment on Type Inference vs. Static/Dynamic TypingparentComments−closureOP15yHere's a link to the relevant section: http://www.sbcl.org/manual/#Declarations-as-Assertions
Comments
Here's a link to the relevant section: http://www.sbcl.org/manual/#Declarations-as-Assertions