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 變更或捨棄（如果對於每個元素 x，f x = Some 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 的元素的集合；如果 s 不包含與 x 相等的元素，則 present 為 false，如果 s 包含與 x 相等的元素，則 present 為 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 以遞增順序從 x 或以上開始，迭代 s 的元素子集。
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從給定的繫結建立集合