类型

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

描述

取序对的前项。

例子

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