首页
标签
cltl2
在 Common Lisp 中使用 `satisfies` 和 `and`