ちょっと混乱してきた

あれ？上のアナロジーに従ったとき， LISP における「そのスコープ内に関数定義を持った関数」って C++ の側ではどーなるんだ？「そのスコープ内に型定義を持った型」？それよ〜するにネストしたクラス定義を持つクラス？