val remove : elt -> t -> tval disjoint : t -> t -> boolval elements : t -> elt listval min_elt_opt : t -> elt optionval max_elt_opt : t -> elt optionval choose_opt : t -> elt optionval find_opt : elt -> t -> elt optionval find_first : (elt -> bool) -> t -> eltval find_first_opt : (elt -> bool) -> t -> elt optionval find_last : (elt -> bool) -> t -> eltval find_last_opt : (elt -> bool) -> t -> elt optionval iter : (elt -> unit) -> t -> unitval fold : (elt -> 'acc -> 'acc) -> t -> 'acc -> 'accval filter : (elt -> bool) -> t -> tval filter_map : (elt -> elt option) -> t -> tval partition : (elt -> bool) -> t -> t * tval split : elt -> t -> t * bool * tval mem : elt -> t -> boolval equal : t -> t -> boolval compare : t -> t -> intval subset : t -> t -> boolval for_all : (elt -> bool) -> t -> boolval exists : (elt -> bool) -> t -> boolval to_list : t -> elt listval of_list : elt list -> t