This commit is contained in:
JPR 2020-06-17 00:51:50 +02:00
parent a6d1ee2667
commit 702ff20ca9
3 changed files with 3 additions and 3 deletions

View file

@ -126,7 +126,7 @@ val lookup_exn : cmp:'a ord -> 'a -> 'a t -> int
val bsearch : cmp:('a -> 'a -> int) -> 'a -> 'a t -> val bsearch : cmp:('a -> 'a -> int) -> 'a -> 'a t ->
[ `All_lower | `All_bigger | `Just_after of int | `Empty | `At of int ] [ `All_lower | `All_bigger | `Just_after of int | `Empty | `At of int ]
(** [bsearch ~cmp key a] finds the index of the object [key] in the array [a], (** [bsearch ~cmp key a] finds the index of the object [key] in the array [a],
provided [a] is {b sorted} using [~cmp]. If the array is not sorted, provided [a] is {b sorted} using [cmp]. If the array is not sorted,
the result is not specified (may raise Invalid_argument). the result is not specified (may raise Invalid_argument).
Complexity: [O(log n)] where n is the length of the array [a] Complexity: [O(log n)] where n is the length of the array [a]

View file

@ -746,7 +746,7 @@ val random_sequence : 'a random_gen t -> 'a t random_gen
val to_string : ?start:string -> ?stop:string -> ?sep:string -> val to_string : ?start:string -> ?stop:string -> ?sep:string ->
('a -> string) -> 'a t -> string ('a -> string) -> 'a t -> string
(** [to_string ?start ?stop ?sep item_to_string l] prints [l] to a string using (** [to_string ?start ?stop ?sep item_to_string l] prints [l] to a string using
[?sep] as a separator between elements of [l]. [sep] as a separator between elements of [l].
@since 2.7 *) @since 2.7 *)
val to_iter : 'a t -> 'a iter val to_iter : 'a t -> 'a iter

View file

@ -675,7 +675,7 @@ val mem_assoc : ?eq:(('a -> 'a -> bool) [@keep_label]) -> 'a -> ('a * _) t -> bo
(** [mem_assoc ?eq k alist] returns [true] iff [k] is a key in [alist]. (** [mem_assoc ?eq k alist] returns [true] iff [k] is a key in [alist].
Like [Assoc.mem]. Like [Assoc.mem].
@since 2.0 *) @since 2.0 *)
val remove_assoc : eq:(('a -> 'a -> bool) [@keep_label]) -> 'a -> ('a * 'b) t -> ('a * 'b) t val remove_assoc : eq:(('a -> 'a -> bool) [@keep_label]) -> 'a -> ('a * 'b) t -> ('a * 'b) t
(** [remove_assoc ~eq k alist] returns the [alist] without the first pair with key [k], if any. (** [remove_assoc ~eq k alist] returns the [alist] without the first pair with key [k], if any.
Like [Assoc.remove]. Like [Assoc.remove].