Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #9568 from garrigue/fix5987 

Fix5987
master
Gabriel Scherer 2020-05-15 20:58:26 +02:00 committed by GitHub
parent f52fdc2068 a2a287c823
commit 3851022244
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manual/manual/refman/typedecl.etex
View File

@ -55,7 +55,7 @@ field-decl:
['mutable'] field-name ':' poly-typexpr
;
type-constraint:
'constraint' "'" ident '=' typexpr
'constraint' typexpr '=' typexpr
\end{syntax}
\ikwd{mutable\@\texttt{mutable}}
\ikwd{constraint\@\texttt{constraint}}