Update CCString.mli to align parameter names in mli descriptions and implementations.

This commit is contained in:
mobotsar 2025-01-01 00:48:58 -05:00 committed by GitHub
parent 1498158a4f
commit 6c8569a7d9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -184,11 +184,11 @@ val take : int -> string -> string
val take_while : (char -> bool) -> string -> string
(** [take_while p s] keeps only the longest prefix [t] of [s] such that every
character [c] in [t] satisfies [f c]. *)
character [c] in [t] satisfies [p c]. *)
val rtake_while : (char -> bool) -> string -> string
(** [rtake_while p s] keeps only the longest suffix [t] of [s] such that every
character [c] in [t] satisfies [f c]. *)
character [c] in [t] satisfies [p c]. *)
val drop : int -> string -> string
(** [drop n s] removes the [n] first chars of [s].