>>475
car&cdr って関数はその名の通り，listをもらってそのcar部とcdr部を
返す関数ってぐらいの意味．

(let (((x y) (car&cdr '(a b c)))) ;; car&cdr が複数(2つ)の値を返している．
　(list y x))

っていうプログラムがあったとして(これは疑似コードだけど)，
これをCPSに変換したものが

(car&cdr '(a b c)
　(lambda (x y)
　　(list y x)))

というプログラムになる訳．
(当然car&cdrの定義は前者と後者で異なります)