restricted-functions
Reasoning about functions with restricted argument types.
$ area51 add restricted-functionsコピー使い方
;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(restricted-functions:some-function ...)Reasoning about functions with restricted argument types.
$ area51 add restricted-functionsコピー;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(restricted-functions:some-function ...)