% Type-Specifier SATISFIES
Type Specifier SATISFIES
述部
satisfies predicate-name
predicate-name - シンボル
全てのオブジェクトの集合は、
predicate-nameの述部を満たすことを示します。
predicate-nameはひとつの引数を受け取る
グローバル関数定義のシンボルでなければなりません。
predicate-nameは名前を要求するため、
ラムダ式は許されません。
例えば、型指定子(and integer (satisfies evenp))は、
全ての偶数の整数を示します。
(typep x '(satisfies p))フォームは、
(if (p x) t nil)と同等です。
引数は要求されます。
シンボル*は引数に指定できますが、
しかしそれは自分自身（つまりシンボル*）を示しているのであって、
未指定の値を表現しているのではありません。
シンボルとしてのsatisfiesは、有効な型指定子ではありません。