类型

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

描述

替换序对的前项。

例子

(令 ((序对 (作序对 1 "hello")))
  (序对存前项 序对 7)
  (序对前项 序对))  ;; => 7