restricted-functions

MIT

Reasoning about functions with restricted argument types.

$ area51 add restricted-functionsCopy

Usage

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