module type S =sig..end
函子 Set.Make 的输出签名。
type
集合元素的类型。
type
集合的类型。
val empty : t空集。
val add : elt -> t -> tadd x s 返回一个包含 s 中所有元素以及 x 的集合。如果 x 已经存在于 s 中，则返回 s 本身（函数的结果在物理上等于 s）。
val singleton : elt -> tsingleton x 返回仅包含 x 的单元素集合。
val remove : elt -> t -> tremove x s 返回一个包含 s 中所有元素，但 x 除外的集合。如果 x 不在 s 中，则返回 s 本身（函数的结果在物理上等于 s）。
val union : t -> t -> t集合并集。
val inter : t -> t -> t集合交集。
val disjoint : t -> t -> bool测试两个集合是否不相交。
val diff : t -> t -> t集合差集：diff s1 s2 包含 s1 中不在 s2 中的元素。
val cardinal : t -> int返回集合中元素的数量。
val elements : t -> elt list返回给定集合的所有元素的列表。返回的列表根据排序 Ord.compare 按升序排序，其中 Ord 是传递给 Set.Make 的参数。
val min_elt : t -> elt返回给定集合中最小的元素（相对于 Ord.compare 排序），如果集合为空则引发 Not_found。
val min_elt_opt : t -> elt option返回给定集合中最小的元素（相对于 Ord.compare 排序），如果集合为空则返回 None。
val max_elt : t -> elt与 Set.S.min_elt 相同，但返回给定集合中最大的元素。
val max_elt_opt : t -> elt option与 Set.S.min_elt_opt 相同，但返回给定集合中最大的元素。
val choose : t -> elt返回给定集合中的一个元素，如果集合为空则引发 Not_found。选择哪个元素是不确定的，但对于相等的集合将选择相等的元素。
val choose_opt : t -> elt option返回给定集合中的一个元素，如果集合为空则返回 None。选择哪个元素是不确定的，但对于相等的集合将选择相等的元素。
val find : elt -> t -> eltfind x s 返回 s 中等于 x 的元素（根据 Ord.compare），如果不存在这样的元素则引发 Not_found。
val find_opt : elt -> t -> elt optionfind_opt x s 返回 s 中等于 x 的元素（根据 Ord.compare），如果不存在这样的元素则返回 None。
val find_first : (elt -> bool) -> t -> eltfind_first f s，其中 f 是一个单调递增函数，返回 s 中满足 f e 的最小元素 e，如果不存在这样的元素则引发 Not_found。
例如，find_first (fun e -> Ord.compare e x >= 0) s 将返回 s 中第一个元素 e，其中 Ord.compare e x >= 0（直观上：e >= x），如果 x 大于 s 中的任何元素，则引发 Not_found。
val find_first_opt : (elt -> bool) -> t -> elt optionfind_first_opt f s，其中 f 是一个单调递增函数，返回一个包含 s 中满足 f e 的最小元素 e 的选项，如果不存在这样的元素则返回 None。
val find_last : (elt -> bool) -> t -> eltfind_last f s，其中 f 是一个单调递减函数，返回 s 中满足 f e 的最大元素 e，如果不存在这样的元素则引发 Not_found。
val find_last_opt : (elt -> bool) -> t -> elt optionfind_last_opt f s，其中 f 是一个单调递减函数，返回一个包含 s 中满足 f e 的最大元素 e 的选项，如果不存在这样的元素则返回 None。
val iter : (elt -> unit) -> t -> unititer f s 依次将 f 应用于 s 中的所有元素。 s 的元素按元素类型的排序顺序递增地传递给 f。
val fold : (elt -> 'acc -> 'acc) -> t -> 'acc -> 'accfold f s init 计算 (f xN ... (f x2 (f x1 init))...)，其中 x1 ... xN 是 s 中的元素，按升序排列。
val map : (elt -> elt) -> t -> tmap f s 是一个集合，其元素为 f a0,f a1... f，其中
aNa0,a1...aN 是 s 中的元素。
元素按元素类型的排序顺序递增地传递给 f。
如果 s 中没有元素被 f 更改，则返回 s 本身。（如果 f 的每个输出在物理上等于其输入，则返回的集合在物理上等于 s）。
val filter : (elt -> bool) -> t -> tfilter f s 返回 s 中所有满足谓词 f 的元素的集合。如果 f 满足 s 中的每个元素，则返回 s 本身（函数的结果在物理上等于 s）。
val filter_map : (elt -> elt option) -> t -> tfilter_map f s 返回所有 v 的集合，其中 f x = Some v，对于 s 中的某个元素 x。
例如，
filter_map (fun n -> if n mod 2 = 0 then Some (n / 2) else None) s是 s 中偶数元素的一半的集合。
如果 s 中没有元素被 f 更改或删除（如果 f x = Some x 对于每个元素 x），则返回 s 本身：函数的结果在物理上等于 s。
val partition : (elt -> bool) -> t -> t * tpartition f s 返回一个集合对 (s1, s2)，其中 s1 是 s 中所有满足谓词 f 的元素的集合，s2 是 s 中所有不满足 f 的元素的集合。
val split : elt -> t -> t * bool * tsplit x s 返回一个三元组 (l, present, r)，其中 l 是 s 中严格小于 x 的元素的集合；r 是 s 中严格大于 x 的元素的集合；present 如果 s 不包含等于 x 的元素则为 false，如果 s 包含等于 x 的元素则为 true。
val is_empty : t -> bool测试集合是否为空。
val mem : elt -> t -> boolmem x s 测试 x 是否属于集合 s。
val equal : t -> t -> boolequal s1 s2 测试集合 s1 和 s2 是否相等，即包含相等的元素。
val compare : t -> t -> int集合之间的全序关系。可以用作执行集合的集合的排序函数。
val subset : t -> t -> boolsubset s1 s2 测试集合 s1 是否是集合 s2 的子集。
val for_all : (elt -> bool) -> t -> boolfor_all f s 检查集合中的所有元素是否都满足谓词 f。
val exists : (elt -> bool) -> t -> boolexists f s 检查集合中是否存在至少一个元素满足谓词 f。
val to_list : t -> elt listto_list s 等于 Set.S.elements s。
val of_list : elt list -> tof_list l 从元素列表创建集合。这通常比对列表进行 add 折叠更有效，除非列表中包含许多重复的元素。
val to_seq_from : elt -> t -> elt Seq.tto_seq_from x s 以升序迭代 s 的元素的子集，从 x 或更高版本开始。
val to_seq : t -> elt Seq.t以升序迭代整个集合
val to_rev_seq : t -> elt Seq.t以降序迭代整个集合
val add_seq : elt Seq.t -> t -> t按顺序将给定元素添加到集合中。
val of_seq : elt Seq.t -> t从给定的绑定构建一个集合