From e06cd516f078ef4888e41a9226359c4236c96cae Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 25 Sep 2021 15:38:35 -0400 Subject: [PATCH] detail --- src/core/CCParse.mli | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/core/CCParse.mli b/src/core/CCParse.mli index fe9b0b9c..94c5875a 100644 --- a/src/core/CCParse.mli +++ b/src/core/CCParse.mli @@ -384,8 +384,9 @@ val try_ : 'a t -> 'a t to detect failure. *) val try_opt : 'a t -> 'a option t -(** [try_ p] tries to parse using [p], and return [Some x] if [p] - succeeded with [x]. Otherwise it returns [None]. This cannot fail. +(** [try_opt p] tries to parse using [p], and return [Some x] if [p] + succeeded with [x] (and consumes what [p] consumed). + Otherwise it returns [None] and consumes nothing. This cannot fail. @since NEXT_RELEASE *) val many_until : until:_ t -> 'a t -> 'a list t