sbcl-type-i 0.1-2.d34440a Type inference utility on unary predicates for Common Lisp

This library tries to provide a way to detect what kind of type the given predicate is trying to check. This is different from inferring the return type of a function.