Annotation Syntax Test Library.
$ area51 add cl-annot-prove
;; area51 add updates your .asd automatically. ;; Use the package in your code: (in-package :my-project) (cl-annot-prove:some-function ...)