From 44705f4ad8e987ce92a078a06f31eb394ee8b6ae Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 29 Nov 2023 10:51:20 +0200 Subject: [PATCH] Use ocamldoc references in ArrayDomain.Str --- src/cdomains/arrayDomain.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/cdomains/arrayDomain.mli b/src/cdomains/arrayDomain.mli index 2578d961ce..e7db47a708 100644 --- a/src/cdomains/arrayDomain.mli +++ b/src/cdomains/arrayDomain.mli @@ -93,9 +93,9 @@ sig * [s2] if present *) val substring_extraction: t -> t -> substr - (** [substring_extraction haystack needle] returns [IsNotSubstr] if the string represented by - * the abstract value [needle] surely isn't a substring of [haystack], [IsSubstrAtIndex0] if - * [needle] is the empty string, else [Unknown] *) + (** [substring_extraction haystack needle] returns {!IsNotSubstr} if the string represented by + * the abstract value [needle] surely isn't a substring of [haystack], {!IsSubstrAtIndex0} if + * [needle] is the empty string, else {!IsMaybeSubstr} *) val string_comparison: t -> t -> int option -> idx (** [string_comparison s1 s2 n] returns a negative / positive idx element if the string