From 16700ca84e600f88c8cefe061656958eddd5d6e2 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Sun, 20 Nov 2022 15:08:19 -0500 Subject: [PATCH] Add missing word --- src/strSlice.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/strSlice.mli b/src/strSlice.mli index ca865f42..648df93a 100644 --- a/src/strSlice.mli +++ b/src/strSlice.mli @@ -14,7 +14,7 @@ val index : (char -> bool) -> t -> int option which [f] is first true, or [None] if [f] holds for no characters in [s]. *) val index_unescaped : char -> t -> int option -(** [index_unescaped c s] is [Some i] where [i] index of the first +(** [index_unescaped c s] is [Some i] where [i] is index of the first occurrence of the character [c] in [s] that is not preceeded by a backslash ['\\'] and not within a verbatim inline, or [None] if there is no such [c] in [s]. *)