类型

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

描述

序对型 的构造器，创建一个包含两个值的序对。

例子

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