We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5599f69 commit e07e91dCopy full SHA for e07e91d
src/analysis/syntax_doc.ml
@@ -300,8 +300,8 @@ let get_modality_doc modality =
300
modality
301
| Monadic _ ->
302
Format.asprintf
303
- "This value is always at least as weak as `%s`, even if the container \
304
- has a stronger mode."
+ "The annotated value's mode is always at least as weak as `%s`, even if its \
+ container's mode is a stronger."
305
306
in
307
(Some
0 commit comments