next up previous contents
Next: About this document ... Up: Quotations for creating abstract Previous: Quotation module_type

Quotation module_expr

Syntax tree nodes for language module expressions, of type Ast.module_expr. The basic nodes are:

<:module_expr< $me1$ . $me2$ >>: access in module.
<:module_expr< $me1$ $me2$ >>: application.
<:module_expr< functor ( $s$ : $mt$ ) -> $me$ >>: functor.
<:module_expr< struct $list:stl$ end >>: structure.
<:module_expr< ( $me$ : $mt$ ) ] >>: module type constraint.
<:module_expr< $uid:i$ >>: identifier starting with an uppercase letter.


Daniel de Rauglaudre
9/1/1998