module type S =sig..end
函子 MoreLabels.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 包含不在 s2 中的 s1 的元素。
val cardinal : t -> int返回集合中元素的数量。
val elements : t -> elt list返回给定集合的所有元素的列表。返回的列表按升序排序，排序方式取决于排序 Ord.compare，其中 Ord 是传递给 MoreLabels.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与 MoreLabels.Set.S.min_elt 相同，但返回给定集合的最大元素。
val max_elt_opt : t -> elt option与 MoreLabels.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 返回等于 x 的 s 元素（根据 Ord.compare），或者如果不存在这样的元素，则引发 Not_found。
val find_opt : elt -> t -> elt optionfind_opt x s 返回等于 x 的 s 元素（根据 Ord.compare），或者如果不存在这样的元素，则返回 None。
val find_first : f:(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 中第一个满足 Ord.compare e x >= 0（直观地说：e >= x）的元素 e，或者如果 x 大于 s 的任何元素，则引发 Not_found。
val find_first_opt : f:(elt -> bool) ->
t -> elt optionfind_first_opt ~f s，其中 f 是一个单调递增函数，返回一个包含满足 f e 的 s 中最低元素 e 的选项，或者如果不存在这样的元素，则返回 None。
val find_last : f:(elt -> bool) ->
t -> eltfind_last ~f s，其中 f 是一个单调递减函数，返回 s 中满足 f e 的最高元素 e，或者如果不存在这样的元素，则引发 Not_found。
val find_last_opt : f:(elt -> bool) ->
t -> elt optionfind_last_opt ~f s，其中 f 是一个单调递减函数，返回一个包含满足 f e 的 s 中最高元素 e 的选项，或者如果不存在这样的元素，则返回 None。
val iter : f:(elt -> unit) -> t -> unititer ~f s 依次将 f 应用于 s 的所有元素。元素 s 是以关于元素类型排序的升序方式呈现给 f 的。
val fold : f:(elt -> 'acc -> 'acc) ->
t -> init:'acc -> 'accfold ~f s init 计算 (f xN ... (f x2 (f x1 init))...)，其中 x1 ... xN 是 s 中的元素，按升序排列。
val map : f:(elt -> elt) ->
t -> tmap ~f s 是一个集合，其元素为 f a0,f a1... f，其中
aNa0,a1...aN 是 s 中的元素。
元素按关于元素类型排序的升序方式传递给 f。
如果 s 中的元素没有被 f 更改，则返回 s 不变。（如果 f 的每个输出在物理上等于其输入，则返回的集合在物理上等于 s。）
val filter : f:(elt -> bool) -> t -> tfilter ~f s 返回满足谓词 f 的 s 中所有元素的集合。如果 f 满足 s 中的每个元素，则返回 s 不变（函数的结果在物理上等于 s）。
val filter_map : f:(elt -> elt option) ->
t -> tfilter_map ~f s 返回所有满足 f x = Some v 的 v 的集合，其中 x 是 s 中的元素。
例如：
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 : f:(elt -> bool) ->
t -> t * tpartition ~f s 返回一对集合 (s1, s2)，其中 s1 是满足谓词 f 的 s 中所有元素的集合，s2 是不满足 f 的 s 中所有元素的集合。
val split : elt ->
t -> t * bool * tsplit x s 返回一个三元组 (l, present, r)，其中 l 是严格小于 x 的 s 中元素的集合；r 是严格大于 x 的 s 中元素的集合；present 是 false 如果 s 不包含等于 x 的元素，或 true 如果 s 包含等于 x 的元素。
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 : f:(elt -> bool) -> t -> boolfor_all ~f s 检查集合中的所有元素是否满足谓词 f。
val exists : f:(elt -> bool) -> t -> boolexists ~f s 检查集合中的至少一个元素是否满足谓词 f。
val to_list : t -> elt listto_list s 是 MoreLabels.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从给定的绑定构建集合