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 e88a842 commit 546053aCopy full SHA for 546053a
src/analysis/syntax_doc.ml
@@ -241,7 +241,7 @@ let get_mode_doc mode =
241
"Values with this mode can be sent to other threads without causing \
242
data races"
243
| Monadic Uniqueness, Aliased ->
244
- Some "This usage of the value might not be the only usage of the value"
+ Some "There may be multiple pointers to values with this mode"
245
| Monadic Uniqueness, Unique ->
246
Some "This usage of the value is the only usage of the value."
247
| Comonadic Linearity, Once ->
0 commit comments