Something went wrong on our end
-
Jean-Christophe Filliâtre authoredJean-Christophe Filliâtre authored
type.bnf 246 B
\begin{syntax}
type ::= lqualid type* ; type symbol
| "'" lident ; type variable
| "()" ; empty tuple type
| "(" type ("," type)+ ")" ; tuple type
| "(" type ")" ; parentheses %
\end{syntax}