函子 (Ord : OrderedType) ->
  sig
    类型 elt = Ord.t
    类型 t
    值 empty : t
    值 add : elt -> t -> t
    值 singleton : elt -> t
    值 remove : elt -> t -> t
    值 union : t -> t -> t
    值 inter : t -> t -> t
    值 disjoint : t -> t -> bool
    值 diff : t -> t -> t
    值 cardinal : t -> int
    值 elements : t -> elt list
    值 min_elt : t -> elt
    值 min_elt_opt : t -> elt option
    值 max_elt : t -> elt
    值 max_elt_opt : t -> elt option
    值 choose : t -> elt
    值 choose_opt : t -> elt option
    值 find : elt -> t -> elt
    值 find_opt : elt -> t -> elt option
    值 find_first : (elt -> bool) -> t -> elt
    值 find_first_opt : (elt -> bool) -> t -> elt option
    值 find_last : (elt -> bool) -> t -> elt
    值 find_last_opt : (elt -> bool) -> t -> elt option
    值 iter : (elt -> unit) -> t -> unit
    值 fold : (elt -> 'acc -> 'acc) -> t -> 'acc -> 'acc
    值 map : (elt -> elt) -> t -> t
    值 filter : (elt -> bool) -> t -> t
    值 filter_map : (elt -> elt option) -> t -> t
    值 partition : (elt -> bool) -> t -> t * t
    值 split : elt -> t -> t * bool * t
    值 is_empty : t -> bool
    值 mem : elt -> t -> bool
    值 equal : t -> t -> bool
    值 compare : t -> t -> int
    值 subset : t -> t -> bool
    值 for_all : (elt -> bool) -> t -> bool
    值 exists : (elt -> bool) -> t -> bool
    值 to_list : t -> elt list
    值 of_list : elt list -> t
    值 to_seq_from : elt -> t -> elt Seq.t
    值 to_seq : t -> elt Seq.t
    值 to_rev_seq : t -> elt Seq.t
    值 add_seq : elt Seq.t -> t -> t
    值 of_seq : elt Seq.t -> t
  end