sig
type ('elt, 'comparator) t = ('elt, 'comparator) Set.t
type ('elt, 'comparator) tree = ('elt, 'comparator) Set.tree
type 'a elt = 'a
val empty :
('a, 'comparator, ('a, 'comparator) t) Core_set_intf.with_comparator
val singleton :
('a, 'comparator, 'a elt -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val union_list :
('a, 'comparator, ('a, 'comparator) t list -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val of_list :
('a, 'comparator, 'a elt list -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val of_array :
('a, 'comparator, 'a elt array -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val stable_dedup_list :
('a, 'b, 'a elt list -> 'a elt list) Core_set_intf.with_comparator
val map :
('b, 'comparator, ('a, 'c) t -> f:('a -> 'b elt) -> ('b, 'comparator) t)
Core_set_intf.with_comparator
val filter_map :
('b, 'comparator,
('a, 'c) t -> f:('a -> 'b elt option) -> ('b, 'comparator) t)
Core_set_intf.with_comparator
val of_tree :
('a, 'comparator, ('a elt, 'comparator) tree -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val length : ('a, 'b) t -> int
val is_empty : ('a, 'b) t -> bool
val iter : ('a, 'b) t -> f:('a elt -> unit) -> unit
val fold :
('a, 'b) t -> init:'accum -> f:('accum -> 'a elt -> 'accum) -> 'accum
val exists : ('a, 'b) t -> f:('a elt -> bool) -> bool
val for_all : ('a, 'b) t -> f:('a elt -> bool) -> bool
val count : ('a, 'b) t -> f:('a elt -> bool) -> int
val find : ('a, 'b) t -> f:('a elt -> bool) -> 'a elt option
val find_map : ('a, 'c) t -> f:('a elt -> 'b option) -> 'b option
val to_list : ('a, 'b) t -> 'a elt list
val to_array : ('a, 'b) t -> 'a elt array
val mem :
('a, 'comparator, ('a, 'comparator) t -> 'a elt -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator, ('a, 'comparator) t -> 'a elt -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val remove :
('a, 'comparator, ('a, 'comparator) t -> 'a elt -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t -> ('a, 'comparator) t -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t -> ('a, 'comparator) t -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t -> ('a, 'comparator) t -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator, ('a, 'comparator) t -> ('a, 'comparator) t -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator, ('a, 'comparator) t -> ('a, 'comparator) t -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator, ('a, 'comparator) t -> ('a, 'comparator) t -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t ->
init:'b -> f:('b -> 'a elt -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right : ('a, 'c) t -> init:'b -> f:('a elt -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t -> f:('a elt -> bool) -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t ->
f:('a elt -> bool) -> ('a, 'comparator) t * ('a, 'comparator) t)
Core_set_intf.without_comparator
val elements : ('a, 'b) t -> 'a elt list
val min_elt : ('a, 'b) t -> 'a elt option
val min_elt_exn : ('a, 'b) t -> 'a elt
val max_elt : ('a, 'b) t -> 'a elt option
val max_elt_exn : ('a, 'b) t -> 'a elt
val choose : ('a, 'b) t -> 'a elt option
val choose_exn : ('a, 'b) t -> 'a elt
val split :
('a, 'comparator,
('a, 'comparator) t ->
'a elt -> ('a, 'comparator) t * bool * ('a, 'comparator) t)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t ->
equiv:('a elt -> 'a elt -> bool) -> ('a, 'comparator) t list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t -> f:('a elt -> bool) -> 'a elt
val find_index : ('a, 'b) t -> int -> 'a elt option
val remove_index :
('a, 'comparator, ('a, 'comparator) t -> int -> ('a, 'comparator) t)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t -> ('a elt, 'comparator) tree
val comparator : ('a, 'comparator) t -> ('a, 'comparator) Comparator.t
module Poly :
sig
type 'elt t = ('elt, Comparator.Poly.comparator) t
type ('a, 'b) t_ = 'a t
type ('a, 'comparator) tree = ('a, 'comparator) Set.Poly.tree
val singleton :
('a, 'comparator, 'a elt -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator, ('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt list -> 'a elt list) Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) t -> f:('a -> 'b elt) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) t -> f:('a -> 'b elt option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator, ('a elt, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt -> bool) -> 'a elt option
val find_map : ('a, 'c) t_ -> f:('a elt -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt list
val to_array : ('a, 'b) t_ -> 'a elt array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right : ('a, 'c) t_ -> init:'b -> f:('a elt -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ -> f:('a elt -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt list
val min_elt : ('a, 'b) t_ -> 'a elt option
val min_elt_exn : ('a, 'b) t_ -> 'a elt
val max_elt : ('a, 'b) t_ -> 'a elt option
val max_elt_exn : ('a, 'b) t_ -> 'a elt
val choose : ('a, 'b) t_ -> 'a elt option
val choose_exn : ('a, 'b) t_ -> 'a elt
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt -> 'a elt -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt -> bool) -> 'a elt
val find_index : ('a, 'b) t_ -> int -> 'a elt option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt, 'comparator) tree
val empty : 'a t
module Tree :
sig
type 'elt t = ('elt, Comparator.Poly.comparator) tree
type ('a, 'b) t_ = 'a t
type ('a, 'comparator) tree =
('a, 'comparator) Set.Poly.Tree.tree
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt list -> 'a elt list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt -> bool) -> 'a elt option
val find_map : ('a, 'c) t_ -> f:('a elt -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt list
val to_array : ('a, 'b) t_ -> 'a elt array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt list
val min_elt : ('a, 'b) t_ -> 'a elt option
val min_elt_exn : ('a, 'b) t_ -> 'a elt
val max_elt : ('a, 'b) t_ -> 'a elt option
val max_elt_exn : ('a, 'b) t_ -> 'a elt
val choose : ('a, 'b) t_ -> 'a elt option
val choose_exn : ('a, 'b) t_ -> 'a elt
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt -> 'a elt -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt -> bool) -> 'a elt
val find_index : ('a, 'b) t_ -> int -> 'a elt option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt, 'comparator) tree
val t_of_sexp :
(Sexplib.Sexp.t -> 'elt) -> Sexplib.Sexp.t -> 'elt t
val sexp_of_t :
('elt -> Sexplib.Sexp.t) -> 'elt t -> Sexplib.Sexp.t
end
val t_of_sexp : (Sexplib.Sexp.t -> 'elt) -> Sexplib.Sexp.t -> 'elt t
val sexp_of_t : ('elt -> Sexplib.Sexp.t) -> 'elt t -> Sexplib.Sexp.t
val compare : ('elt -> 'elt -> int) -> 'elt t -> 'elt t -> int
val bin_t : 'elt Bin_prot.Type_class.t -> 'elt t Bin_prot.Type_class.t
val bin_read_t :
'elt Bin_prot.Unsafe_read_c.reader -> 'elt t Bin_prot.Read_ml.reader
val bin_read_t_ :
'elt Bin_prot.Unsafe_read_c.reader ->
'elt t Bin_prot.Unsafe_read_c.reader
val bin_read_t__ :
'elt Bin_prot.Unsafe_read_c.reader ->
(int -> 'elt t) Bin_prot.Unsafe_read_c.reader
val bin_reader_t :
'elt Bin_prot.Type_class.reader -> 'elt t Bin_prot.Type_class.reader
val bin_size_t : 'elt Bin_prot.Size.sizer -> 'elt t Bin_prot.Size.sizer
val bin_write_t :
'elt Bin_prot.Unsafe_write_c.writer ->
'elt t Bin_prot.Write_ml.writer
val bin_write_t_ :
'elt Bin_prot.Unsafe_write_c.writer ->
'elt t Bin_prot.Unsafe_write_c.writer
val bin_writer_t :
'elt Bin_prot.Type_class.writer -> 'elt t Bin_prot.Type_class.writer
end
module type Elt = Core_set_intf.Elt
module type Elt_binable = Core_set_intf.Elt_binable
module type S =
sig
module Elt : Comparator.S
type ('a, 'b) set = ('a, 'b) t
type ('a, 'b) tree = ('a, 'b) tree
type t = (Elt.t, Elt.comparator) set
type ('a, 'comparator) t_ = t
type 'a elt_ = Elt.t
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator, ('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ -> f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val empty : t
module Tree :
sig
type t = (Elt.t, Elt.comparator) tree
type ('a, 'b) t_ = t
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree ->
f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
module type S_binable =
sig
module Elt : Comparator.S
type ('a, 'b) set = ('a, 'b) t
type ('a, 'b) tree = ('a, 'b) tree
type t = (Elt.t, Elt.comparator) set
type ('a, 'comparator) t_ = t
type 'a elt_ = Elt.t
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator, ('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ -> f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val empty : t
module Tree :
sig
type t = (Elt.t, Elt.comparator) tree
type ('a, 'b) t_ = t
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree ->
f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Map_to_safe.writer
val bin_write_t_ : t Bin_prot.Unsafe_write_c.writer
val bin_read_t : t Bin_prot.Read_ml.reader
val bin_read_t_ : t Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> t) Bin_prot.Unsafe_read_c.reader
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
end
module Make :
functor (Elt : Elt) ->
sig
module Elt :
sig
type t = Elt.t
val compare : t -> t -> int
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
type comparator = Set.Make(Elt).Elt.comparator
val comparator : (t, comparator) Comparator.t_
end
type ('a, 'b) set = ('a, 'b) t
type ('a, 'b) tree = ('a, 'b) tree
type t = (Elt.t, Elt.comparator) set
type ('a, 'comparator) t_ = t
type 'a elt_ = Elt.t
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val empty : t
module Tree :
sig
type t = (Elt.t, Elt.comparator) tree
type ('a, 'b) t_ = t
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree ->
f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map :
('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) ->
('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
module Make_using_comparator :
functor (Elt : Comparator.S) ->
sig
module Elt :
sig
type t = Elt.t
val compare : t -> t -> int
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
type comparator = Elt.comparator
val comparator : (t, comparator) Comparator.t_
end
type ('a, 'b) set = ('a, 'b) t
type ('a, 'b) tree = ('a, 'b) tree
type t = (Elt.t, Elt.comparator) set
type ('a, 'comparator) t_ = t
type 'a elt_ = Elt.t
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val empty : t
module Tree :
sig
type t = (Elt.t, Elt.comparator) tree
type ('a, 'b) t_ = t
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree ->
f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map :
('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) ->
('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
module Make_binable :
functor (Elt : Elt_binable) ->
sig
module Elt :
sig
type t = Elt.t
val compare : t -> t -> int
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
type comparator = Set.Make_binable(Elt).Elt.comparator
val comparator : (t, comparator) Comparator.t_
end
type ('a, 'b) set = ('a, 'b) t
type ('a, 'b) tree = ('a, 'b) tree
type t = (Elt.t, Elt.comparator) set
type ('a, 'comparator) t_ = t
type 'a elt_ = Elt.t
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val empty : t
module Tree :
sig
type t = (Elt.t, Elt.comparator) tree
type ('a, 'b) t_ = t
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree ->
f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map :
('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) ->
('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Map_to_safe.writer
val bin_write_t_ : t Bin_prot.Unsafe_write_c.writer
val bin_read_t : t Bin_prot.Read_ml.reader
val bin_read_t_ : t Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> t) Bin_prot.Unsafe_read_c.reader
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
end
module Make_binable_using_comparator :
functor (Elt : Comparator.S_binable) ->
sig
module Elt :
sig
type t = Elt.t
val compare : t -> t -> int
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
type comparator = Elt.comparator
val comparator : (t, comparator) Comparator.t_
end
type ('a, 'b) set = ('a, 'b) t
type ('a, 'b) tree = ('a, 'b) tree
type t = (Elt.t, Elt.comparator) set
type ('a, 'comparator) t_ = t
type 'a elt_ = Elt.t
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map : ('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) -> ('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val empty : t
module Tree :
sig
type t = (Elt.t, Elt.comparator) tree
type ('a, 'b) t_ = t
val empty :
('a, 'comparator, ('a, 'comparator) t_)
Core_set_intf.without_comparator
val singleton :
('a, 'comparator, 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union_list :
('a, 'comparator,
('a, 'comparator) t_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_list :
('a, 'comparator, 'a elt_ list -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val of_array :
('a, 'comparator, 'a elt_ array -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val stable_dedup_list :
('a, 'b, 'a elt_ list -> 'a elt_ list)
Core_set_intf.without_comparator
val map :
('b, 'comparator,
('a, 'c) tree -> f:('a -> 'b elt_) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val filter_map :
('b, 'comparator,
('a, 'c) tree ->
f:('a -> 'b elt_ option) -> ('b, 'comparator) t_)
Core_set_intf.without_comparator
val of_tree :
('a, 'comparator,
('a elt_, 'comparator) tree -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val length : ('a, 'b) t_ -> int
val is_empty : ('a, 'b) t_ -> bool
val iter : ('a, 'b) t_ -> f:('a elt_ -> unit) -> unit
val fold :
('a, 'b) t_ ->
init:'accum -> f:('accum -> 'a elt_ -> 'accum) -> 'accum
val exists : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val for_all : ('a, 'b) t_ -> f:('a elt_ -> bool) -> bool
val count : ('a, 'b) t_ -> f:('a elt_ -> bool) -> int
val find : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_ option
val find_map :
('a, 'c) t_ -> f:('a elt_ -> 'b option) -> 'b option
val to_list : ('a, 'b) t_ -> 'a elt_ list
val to_array : ('a, 'b) t_ -> 'a elt_ array
val mem :
('a, 'comparator, ('a, 'comparator) t_ -> 'a elt_ -> bool)
Core_set_intf.without_comparator
val add :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t_ -> 'a elt_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val union :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t_ ->
('a, 'comparator) t_ -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val compare_direct :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> int)
Core_set_intf.without_comparator
val equal :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val subset :
('a, 'comparator,
('a, 'comparator) t_ -> ('a, 'comparator) t_ -> bool)
Core_set_intf.without_comparator
val fold_until :
('a, 'c) t_ ->
init:'b ->
f:('b -> 'a elt_ -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right :
('a, 'c) t_ -> init:'b -> f:('a elt_ -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t_ ->
f:('a elt_ -> bool) ->
('a, 'comparator) t_ * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val elements : ('a, 'b) t_ -> 'a elt_ list
val min_elt : ('a, 'b) t_ -> 'a elt_ option
val min_elt_exn : ('a, 'b) t_ -> 'a elt_
val max_elt : ('a, 'b) t_ -> 'a elt_ option
val max_elt_exn : ('a, 'b) t_ -> 'a elt_
val choose : ('a, 'b) t_ -> 'a elt_ option
val choose_exn : ('a, 'b) t_ -> 'a elt_
val split :
('a, 'comparator,
('a, 'comparator) t_ ->
'a elt_ -> ('a, 'comparator) t_ * bool * ('a, 'comparator) t_)
Core_set_intf.without_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t_ ->
equiv:('a elt_ -> 'a elt_ -> bool) ->
('a, 'comparator) t_ list)
Core_set_intf.without_comparator
val find_exn : ('a, 'b) t_ -> f:('a elt_ -> bool) -> 'a elt_
val find_index : ('a, 'b) t_ -> int -> 'a elt_ option
val remove_index :
('a, 'comparator,
('a, 'comparator) t_ -> int -> ('a, 'comparator) t_)
Core_set_intf.without_comparator
val to_tree : ('a, 'comparator) t_ -> ('a elt_, 'comparator) tree
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Map_to_safe.writer
val bin_write_t_ : t Bin_prot.Unsafe_write_c.writer
val bin_read_t : t Bin_prot.Read_ml.reader
val bin_read_t_ : t Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> t) Bin_prot.Unsafe_read_c.reader
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
end
module Tree :
sig
type ('a, 'comparator) t = ('a, 'comparator) tree
type ('a, 'comparator) set = ('a, 'comparator) Set.Tree.set
type ('a, 'comparator) tree = ('a, 'comparator) Set.Tree.tree
val empty :
('a, 'comparator, ('a, 'comparator) t) Core_set_intf.with_comparator
val singleton :
('a, 'comparator, 'a elt -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val union_list :
('a, 'comparator, ('a, 'comparator) t list -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val of_list :
('a, 'comparator, 'a elt list -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val of_array :
('a, 'comparator, 'a elt array -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val stable_dedup_list :
('a, 'b, 'a elt list -> 'a elt list) Core_set_intf.with_comparator
val map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt) -> ('b, 'comparator) t)
Core_set_intf.with_comparator
val filter_map :
('b, 'comparator,
('a, 'c) set -> f:('a -> 'b elt option) -> ('b, 'comparator) t)
Core_set_intf.with_comparator
val of_tree :
('a, 'comparator, ('a elt, 'comparator) tree -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val length : ('a, 'b) t -> int
val is_empty : ('a, 'b) t -> bool
val iter : ('a, 'b) t -> f:('a elt -> unit) -> unit
val fold :
('a, 'b) t -> init:'accum -> f:('accum -> 'a elt -> 'accum) -> 'accum
val exists : ('a, 'b) t -> f:('a elt -> bool) -> bool
val for_all : ('a, 'b) t -> f:('a elt -> bool) -> bool
val count : ('a, 'b) t -> f:('a elt -> bool) -> int
val find : ('a, 'b) t -> f:('a elt -> bool) -> 'a elt option
val find_map : ('a, 'c) t -> f:('a elt -> 'b option) -> 'b option
val to_list : ('a, 'b) t -> 'a elt list
val to_array : ('a, 'b) t -> 'a elt array
val mem :
('a, 'comparator, ('a, 'comparator) t -> 'a elt -> bool)
Core_set_intf.with_comparator
val add :
('a, 'comparator,
('a, 'comparator) t -> 'a elt -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val remove :
('a, 'comparator,
('a, 'comparator) t -> 'a elt -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val union :
('a, 'comparator,
('a, 'comparator) t -> ('a, 'comparator) t -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val inter :
('a, 'comparator,
('a, 'comparator) t -> ('a, 'comparator) t -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val diff :
('a, 'comparator,
('a, 'comparator) t -> ('a, 'comparator) t -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val compare_direct :
('a, 'comparator, ('a, 'comparator) t -> ('a, 'comparator) t -> int)
Core_set_intf.with_comparator
val equal :
('a, 'comparator, ('a, 'comparator) t -> ('a, 'comparator) t -> bool)
Core_set_intf.with_comparator
val subset :
('a, 'comparator, ('a, 'comparator) t -> ('a, 'comparator) t -> bool)
Core_set_intf.with_comparator
val fold_until :
('a, 'c) t ->
init:'b ->
f:('b -> 'a elt -> [ `Continue of 'b | `Stop of 'b ]) -> 'b
val fold_right : ('a, 'c) t -> init:'b -> f:('a elt -> 'b -> 'b) -> 'b
val filter :
('a, 'comparator,
('a, 'comparator) t -> f:('a elt -> bool) -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val partition_tf :
('a, 'comparator,
('a, 'comparator) t ->
f:('a elt -> bool) -> ('a, 'comparator) t * ('a, 'comparator) t)
Core_set_intf.with_comparator
val elements : ('a, 'b) t -> 'a elt list
val min_elt : ('a, 'b) t -> 'a elt option
val min_elt_exn : ('a, 'b) t -> 'a elt
val max_elt : ('a, 'b) t -> 'a elt option
val max_elt_exn : ('a, 'b) t -> 'a elt
val choose : ('a, 'b) t -> 'a elt option
val choose_exn : ('a, 'b) t -> 'a elt
val split :
('a, 'comparator,
('a, 'comparator) t ->
'a elt -> ('a, 'comparator) t * bool * ('a, 'comparator) t)
Core_set_intf.with_comparator
val group_by :
('a, 'comparator,
('a, 'comparator) t ->
equiv:('a elt -> 'a elt -> bool) -> ('a, 'comparator) t list)
Core_set_intf.with_comparator
val find_exn : ('a, 'b) t -> f:('a elt -> bool) -> 'a elt
val find_index : ('a, 'b) t -> int -> 'a elt option
val remove_index :
('a, 'comparator, ('a, 'comparator) t -> int -> ('a, 'comparator) t)
Core_set_intf.with_comparator
val to_tree : ('a, 'comparator) t -> ('a elt, 'comparator) tree
val sexp_of_t :
('a -> Sexplib.Sexp.t) ->
('comparator -> Sexplib.Sexp.t) ->
('a, 'comparator) t -> Sexplib.Sexp.t
end
val compare :
('elt -> 'elt -> int) ->
('comparator -> 'comparator -> int) ->
('elt, 'comparator) t -> ('elt, 'comparator) t -> int
val ounit_tests : unit -> OUnit.test
end