TCSLib 0.2 · OCaml Package

type 'a t

val add : 'a -> 'a t -> 'a t

val min_elt : 'a t -> 'a

val max_elt : 'a t -> 'a

val split : 'a -> 'a t -> 'a t * bool * 'a t

val empty : 'a Tcsbasedata.Comparators.comparator -> 'a t

val empty_def : 'a t

val is_empty : 'a t -> bool

val mem : 'a -> 'a t -> bool

val singleton : 'a Tcsbasedata.Comparators.comparator -> 'a -> 'a t

val singleton_def : 'a -> 'a t

val remove : 'a -> 'a t -> 'a t

val union : 'a t -> 'a t -> 'a t

val inter : 'a t -> 'a t -> 'a t

val diff : 'a t -> 'a t -> 'a t

val compare : 'a t -> 'a t -> int

val equal : 'a t -> 'a t -> bool

val subset : 'a t -> 'a t -> bool

val iter : ('a -> unit) -> 'a t -> unit

val fold : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b

val for_all : ('a -> bool) -> 'a t -> bool

val exists : ('a -> bool) -> 'a t -> bool

val filter : ('a -> bool) -> 'a t -> 'a t

val partition : ('a -> bool) -> 'a t -> 'a t * 'a t

val cardinal : 'a t -> int

val elements : 'a t -> 'a list

val of_list : 'a Tcsbasedata.Comparators.comparator -> 'a list -> 'a t

val of_list_def : 'a list -> 'a t

val of_array : 'a Tcsbasedata.Comparators.comparator -> 'a array -> 'a t

val of_array_def : 'a array -> 'a t

val append_iterator : 'a t -> 'a Tcsbasedata.Iterators.iterator -> 'a t

val to_iterator : 'a t -> 'a Tcsbasedata.Iterators.iterator

val power_iterator : 
  'a Tcsbasedata.Comparators.comparator ->
  'a Tcsbasedata.Iterators.iterator ->
  'a t Tcsbasedata.Iterators.full_iterator

val iterate_subsets : 'a t -> ('a t -> unit) -> unit

val fold_subsets : ('a t -> 'b -> 'b) -> 'a t -> 'b -> 'b

val format : 
  'a Tcsbasedata.Formators.formator ->
  'a t Tcsbasedata.Formators.formator

val remove_list_dups : 'a list -> 'a list

val choose : 'a t -> 'a

val get_compare : 'a t -> 'a Tcsbasedata.Comparators.comparator

val map : ('a -> 'a) -> 'a t -> 'a t

val map_filter : ('a -> 'a option) -> 'a t -> 'a t

val map2 : 'b Tcsbasedata.Comparators.comparator -> ('a -> 'b) -> 'a t -> 'b t

val map2_def : ('a -> 'b) -> 'a t -> 'b t

val map2_filter : 
  'b Tcsbasedata.Comparators.comparator ->
  ('a -> 'b option) ->
  'a t ->
  'b t

val sym_diff : 'a t -> 'a t -> 'a t

package TCSLib