check-typo fixes

master
John Whitington 2020-07-27 15:53:57 +01:00
parent 902ca08055
commit 28f624b919
3 changed files with 6 additions and 3 deletions

View File

@ -199,7 +199,8 @@ val is_randomized : unit -> bool
by default, [false] otherwise.
@since 4.03.0 *)
val rebuild : ?random (* thwart tools/unlabel *) :bool -> ('a, 'b) t -> ('a, 'b) t
val rebuild : ?random (* thwart tools/unlabel *) :bool ->
('a, 'b) t -> ('a, 'b) t
(** Return a copy of the given hashtable. Unlike {!copy},
[{!rebuild} h] re-hashes all the (key, value) entries of
the original table [h]. The returned hash table is randomized if

View File

@ -210,7 +210,8 @@ val is_randomized : unit -> bool
by default, [false] otherwise.
@since 4.03.0 *)
val rebuild : ?random (* thwart tools/unlabel *) :bool -> ('a, 'b) t -> ('a, 'b) t
val rebuild : ?random (* thwart tools/unlabel *) :bool ->
('a, 'b) t -> ('a, 'b) t
(** Return a copy of the given hashtable. Unlike {!copy},
[{!rebuild} h] re-hashes all the (key, value) entries of
the original table [h]. The returned hash table is randomized if

View File

@ -199,7 +199,8 @@ val is_randomized : unit -> bool
by default, [false] otherwise.
@since 4.03.0 *)
val rebuild : ?random (* thwart tools/unlabel *) :bool -> ('a, 'b) t -> ('a, 'b) t
val rebuild : ?random (* thwart tools/unlabel *) :bool ->
('a, 'b) t -> ('a, 'b) t
(** Return a copy of the given hashtable. Unlike {!copy},
[{!rebuild} h] re-hashes all the (key, value) entries of
the original table [h]. The returned hash table is randomized if