From 66638cf7005d82dd426f1ae5aaabc2daf6dc2d04 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Mon, 3 Aug 2020 14:12:58 +0100 Subject: [PATCH] ~prefix fix --- stdlib/string.mli | 2 +- stdlib/stringLabels.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/stdlib/string.mli b/stdlib/string.mli index 3efb550b2..1ee8a3d11 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -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 : diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index 3f8575be2..c0a496171 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -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 :