To answer to myself:<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">EXTEND Gram<br><br>GLOBAL: sig_item;<br>
<br>sig_item:  [[<br>    &quot;module&quot;; &quot;type&quot;; i = a_UIDENT; &quot;=&quot;; mt = module_type; &quot;with&quot;; id = LIDENT -&gt;<br>
        &lt;:sig_item&lt; module type $uid:i ^ &quot;_&quot; ^ id$ = $mt$; &gt;&gt;<br>    ]];<br>END<br></blockquote></div><br>should have been: str_item instead of sig_item + any keyword different from &quot;with&quot; after the signature definition.<br>
<br>- Thomas<br>