type-i

LLGPL

Type Inference Utility on Fundamentally 1-arg Predicates

$ area51 add type-iCopy

Usage

;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(type-i:some-function ...)