Previous Next Contents

A.4   Quotation ctyp

Syntax tree nodes for language types, of type Ast.ctyp. The basic nodes are:
<:ctyp< $t1$ . $t2$ >>: access in module.
<:ctyp< $t1$ as $t2$ >>: type alias
<:ctyp< _ >>: wildcard.
<:ctyp< $t1$ $t2$ >>: application.
<:ctyp< $t1$ -> $t2$ >>: arrow.
<:ctyp< $lid:s$ >>: identfier starting with a lowercase letter.
<:ctyp< '$s$ >>: type variable.
<:ctyp< $t1$ == $t2$ >>: type manifest.
<:ctyp< { $list:sbtl$ } >>: record definition.
<:ctyp< [ $list:stll$ ] >>: concrete type definition.
<:ctyp< ( $list:tl$ ) >>: tuple.
<:ctyp< $uid:s$ >>: identifier starting with an uppercase letter.

Previous Next Contents