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 52c4496 commit 97c89e2Copy full SHA for 97c89e2
src/analysis/syntax_doc.ml
@@ -155,7 +155,7 @@ let get_mod_bound_doc mod_bound =
155
| Axis_pair (Modal (Comonadic _), _) ->
156
Some
157
(Format.asprintf
158
- "Values of this type can cross to `%s` from weaker modes." mod_bound)
+ "Values of types of this kind can cross to `%s` from weaker modes." mod_bound)
159
| Axis_pair (Modal (Monadic _), _) ->
160
161
0 commit comments