labels

(labels ((name lambda-list body...)...) body...)

flet と同様ですが、定義同士が互いに見えるため、局所関数は自分自身や互いを呼び出せます（再帰と相互再帰）。