This is a library for determining the return types of Common Lisp forms using information provided in the lexical environment. https://github.com/alex-gutev/cl-form-types