3.4
Types
type
::=
’
ident
|
(
type
)
|
type
->
type
|
type
{
*
type
}
|
type
typeconstr
|
(
type
{
,
type
}
)
typeconstr
|
typeconstr
Their precedence rules are the one of
Objective Caml
.