A.7 Quotation module_type
Syntax tree nodes for language module types, of type
Ast.module_type. The basic nodes are:
-
<:module_type< $mt1$ . $mt2$ >>: access in module.
-
<:module_type< $mt1$ $mt2$ >>: application.
-
<:module_type< functor ( $s$ : $mt1$ ) -> $mt2$ >>: functor.
-
<:module_type< $lid:i$ >>: identifier starting with a
lowercase letter.
-
<:module_type< sig $list:sil$ end >>: signature.
-
<:module_type< $uid:i$ >>: identifier starting with an
uppercase letter.
-
<:module_type< $mt$ with $list:wcl$ >>: module type
with constraint.