A.5 Quotation sig_item
Syntax tree nodes for language signature items, of type
Ast.sig_item. The basic nodes are:
-
<:sig_item< declare $list:sil$ end >>: declare.
-
<:sig_item< exception $s$ of $list:tl$ >>:
exception declaration.
-
<:sig_item< external $s$ : $t$ = $list:sl$ >>:
declaration of external.
-
<:sig_item< module $s$ : $mt$ >>: module declaration.
-
<:sig_item< module type $s$ = $mt$ >>: module type
declaration.
-
<:sig_item< open $sl$ >>: open.
-
<:sig_item< type $list:sslt$ >>: type declaration.
-
<:sig_item< value $s$ : $t$ >>: variable declaration.