sig
type elt
type t
val empty : BatSet.S.t
val is_empty : BatSet.S.t -> bool
val singleton : BatSet.S.elt -> BatSet.S.t
val mem : BatSet.S.elt -> BatSet.S.t -> bool
val find : BatSet.S.elt -> BatSet.S.t -> BatSet.S.elt
val find_opt : BatSet.S.elt -> BatSet.S.t -> BatSet.S.elt option
val find_first : (BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.elt
val find_first_opt :
(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.elt option
val find_last : (BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.elt
val find_last_opt :
(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.elt option
val add : BatSet.S.elt -> BatSet.S.t -> BatSet.S.t
val remove : BatSet.S.elt -> BatSet.S.t -> BatSet.S.t
val remove_exn : BatSet.S.elt -> BatSet.S.t -> BatSet.S.t
val update : BatSet.S.elt -> BatSet.S.elt -> BatSet.S.t -> BatSet.S.t
val union : BatSet.S.t -> BatSet.S.t -> BatSet.S.t
val inter : BatSet.S.t -> BatSet.S.t -> BatSet.S.t
val diff : BatSet.S.t -> BatSet.S.t -> BatSet.S.t
val sym_diff : BatSet.S.t -> BatSet.S.t -> BatSet.S.t
val compare : BatSet.S.t -> BatSet.S.t -> int
val equal : BatSet.S.t -> BatSet.S.t -> bool
val subset : BatSet.S.t -> BatSet.S.t -> bool
val disjoint : BatSet.S.t -> BatSet.S.t -> bool
val compare_subset : BatSet.S.t -> BatSet.S.t -> int
val iter : (BatSet.S.elt -> unit) -> BatSet.S.t -> unit
val at_rank_exn : int -> BatSet.S.t -> BatSet.S.elt
val map : (BatSet.S.elt -> BatSet.S.elt) -> BatSet.S.t -> BatSet.S.t
val filter : (BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t
val filter_map :
(BatSet.S.elt -> BatSet.S.elt option) -> BatSet.S.t -> BatSet.S.t
val fold : (BatSet.S.elt -> 'a -> 'a) -> BatSet.S.t -> 'a -> 'a
val for_all : (BatSet.S.elt -> bool) -> BatSet.S.t -> bool
val exists : (BatSet.S.elt -> bool) -> BatSet.S.t -> bool
val partition :
(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t * BatSet.S.t
val split : BatSet.S.elt -> BatSet.S.t -> BatSet.S.t * bool * BatSet.S.t
val split_opt :
BatSet.S.elt ->
BatSet.S.t -> BatSet.S.t * BatSet.S.elt option * BatSet.S.t
val split_lt : BatSet.S.elt -> BatSet.S.t -> BatSet.S.t * BatSet.S.t
val split_le : BatSet.S.elt -> BatSet.S.t -> BatSet.S.t * BatSet.S.t
val cardinal : BatSet.S.t -> int
val elements : BatSet.S.t -> BatSet.S.elt list
val to_list : BatSet.S.t -> BatSet.S.elt list
val to_array : BatSet.S.t -> BatSet.S.elt array
val min_elt : BatSet.S.t -> BatSet.S.elt
val min_elt_opt : BatSet.S.t -> BatSet.S.elt option
val pop_min : BatSet.S.t -> BatSet.S.elt * BatSet.S.t
val pop_max : BatSet.S.t -> BatSet.S.elt * BatSet.S.t
val max_elt : BatSet.S.t -> BatSet.S.elt
val max_elt_opt : BatSet.S.t -> BatSet.S.elt option
val choose : BatSet.S.t -> BatSet.S.elt
val choose_opt : BatSet.S.t -> BatSet.S.elt option
val any : BatSet.S.t -> BatSet.S.elt
val pop : BatSet.S.t -> BatSet.S.elt * BatSet.S.t
val enum : BatSet.S.t -> BatSet.S.elt BatEnum.t
val backwards : BatSet.S.t -> BatSet.S.elt BatEnum.t
val of_enum : BatSet.S.elt BatEnum.t -> BatSet.S.t
val of_list : BatSet.S.elt list -> BatSet.S.t
val of_array : BatSet.S.elt array -> BatSet.S.t
val to_seq : BatSet.S.t -> BatSet.S.elt BatSeq.t
val to_rev_seq : BatSet.S.t -> BatSet.S.elt BatSeq.t
val to_seq_from : BatSet.S.elt -> BatSet.S.t -> BatSet.S.elt BatSeq.t
val add_seq : BatSet.S.elt BatSeq.t -> BatSet.S.t -> BatSet.S.t
val of_seq : BatSet.S.elt BatSeq.t -> BatSet.S.t
val print :
?first:string ->
?last:string ->
?sep:string ->
('a BatInnerIO.output -> BatSet.S.elt -> unit) ->
'a BatInnerIO.output -> BatSet.S.t -> unit
module Exceptionless :
sig
val min_elt : BatSet.S.t -> BatSet.S.elt option
val max_elt : BatSet.S.t -> BatSet.S.elt option
val choose : BatSet.S.t -> BatSet.S.elt option
val any : BatSet.S.t -> BatSet.S.elt option
val find : BatSet.S.elt -> BatSet.S.t -> BatSet.S.elt option
end
module Labels :
sig
val iter : f:(BatSet.S.elt -> unit) -> BatSet.S.t -> unit
val fold : f:(BatSet.S.elt -> 'a -> 'a) -> BatSet.S.t -> init:'a -> 'a
val for_all : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> bool
val exists : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> bool
val map : f:(BatSet.S.elt -> BatSet.S.elt) -> BatSet.S.t -> BatSet.S.t
val filter : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t
val filter_map :
f:(BatSet.S.elt -> BatSet.S.elt option) -> BatSet.S.t -> BatSet.S.t
val partition :
f:(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t * BatSet.S.t
end
end