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 546053a commit ccd53cfCopy full SHA for ccd53cf
src/analysis/syntax_doc.ml
@@ -243,7 +243,7 @@ let get_mode_doc mode =
243
| Monadic Uniqueness, Aliased ->
244
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."
+ Some "It is guaranteed that there is only one pointer to values with this mode"
247
| Comonadic Linearity, Once ->
248
Some "Values with this mode can be used at most once"
249
| Comonadic Linearity, Many ->
0 commit comments