类型

类型型

描述

列表类型构造器。(列表型 甲) 表示元素类型为 甲 的列表。

例子

(声明 数表 (列表型 整数型))
(声明 名表 (列表型 文本型))