ordsign">|</span>&nbsp;<span class="constructor">Pmod_constraint</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Parsetree</span>.module_expr&nbsp;*&nbsp;<span class="constructor">Parsetree</span>.module_type<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Pmod_unpack</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Parsetree</span>.expression<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp