sbcl-cl-form-types 0.3.1 determining the types of Common Lisp forms
This library provides functions for determining the value types of Common Lisp forms, based on type information contained in the environment.
In order for this library to work the values types of variables and return types of functions have to be declared.
Macros and symbol-macros are fully expanded and all special forms, except
CATCH, are supported.