~prefix fix

master
John Whitington 2020-08-03 14:12:58 +01:00
parent 1d68ac08dc
commit 66638cf700
2 changed files with 2 additions and 2 deletions

View File

@ -325,7 +325,7 @@ val uncapitalize_ascii : string -> string
val starts_with :
prefix (* comment thwarts tools/unlabel *) :string -> string -> bool
(** [starts_with prefix s] tests if [s] starts with [prefix]
(** [starts_with ][~][prefix s] tests if [s] starts with [prefix]
@since 4.12.0 *)
val ends_with :

View File

@ -325,7 +325,7 @@ val uncapitalize_ascii : string -> string
val starts_with :
prefix (* comment thwarts tools/unlabel *) :string -> string -> bool
(** [starts_with ~prefix s] tests if [s] starts with [prefix]
(** [starts_with ][~][prefix s] tests if [s] starts with [prefix]
@since 4.12.0 *)
val ends_with :