diff --git a/src/string/app_parse.mli b/src/string/app_parse.mli index 806e1e95..7d1249bb 100644 --- a/src/string/app_parse.mli +++ b/src/string/app_parse.mli @@ -64,6 +64,9 @@ val return : 'a -> 'a t val pure : 'a -> 'a t (** Synonym to {!return} *) +val junk : unit t +(** Skip next char *) + val fail : string -> 'a t (** [fail msg] fails with the given error message *)