% Declaration FTYPE
Declaration FTYPE
(ftype type function-name*)
function-name - 関数名
type - 型指定子
declareとproclaim
関数
function-nameという名前の関数に対して、関数の型typeを指定します。 例えば下記の通り。
(declare (ftype (function (integer list) t) ith)
(ftype (function (number) float) sine cosine))
もしあるひとつの関数が宣言されており、
その関数がレキシカルにローカル定義を持っているとき
（fletかlabelsによって作成されたもの）、
その宣言はグローバル関数定義ではなく、ローカルの関数定義に適用されます。
ftype宣言は変数の束縛には適用しません
（typeをご確認ください）。
function-nameのレキシカルな束縛に現れたものは、
マクロ定義には適用しません
（これはftypeが各関数名の関数定義について
functionの特定のサブタイプを宣言するからであり、
マクロはそのような関数を表すものではないためです）。
ftype宣言は、自由宣言と境界宣言のどちらも使えます。
fletかlabelsフォーム本体の前に現れた
関数のftype宣言は、
関数の境界宣言として定義されます。
その他の文脈の宣言は自由宣言です。