类型

类型型

描述

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

例子

(声明 数表 (集合型 整数型))