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