类型

(泛型 (甲 乙) (-> (序对型 甲 乙) 乙 空值型))

描述

替换序对的后项。

例子

(令 ((序对 (作序对 1 "hello")))
  (序对存后项 序对 "world")
  (序对后项 序对))  ;; => "world"