include Stdune.Set.S with type elt = t
type elt = tand t
val empty : tval is_empty : t -> boolval mem : t -> elt -> boolval add : t -> elt -> tval singleton : elt -> tval remove : t -> elt -> tval union : t -> t -> tval inter : t -> t -> tval diff : t -> t -> tval compare : t -> t -> Stdune.Ordering.tval equal : t -> t -> boolval is_subset : t -> of_:t -> boolval iter : t -> f:(elt -> unit) -> unitval map : t -> f:(elt -> elt) -> tval fold : t -> init:'a -> f:(elt -> 'a -> 'a) -> 'aval for_all : t -> f:(elt -> bool) -> boolval exists : t -> f:(elt -> bool) -> boolval filter : t -> f:(elt -> bool) -> tval partition : t -> f:(elt -> bool) -> t * tval cardinal : t -> intval min_elt : t -> elt optionval max_elt : t -> elt optionval choose : t -> elt optionval split : t -> elt -> t * bool * tval of_list : elt list -> tval to_list : t -> elt listval find : t -> f:(elt -> bool) -> elt option
val to_sexp : t Stdune.Sexp.Encoder.tval of_string_set : Stdune.String.Set.t -> f:(string -> elt) -> t