nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;pmty_desc&nbsp;:&nbsp;<span class="constructor">Parsetree</span>.module_type_desc;<br>
&nbsp;&nbsp;&nbsp;&nbsp;pmty_loc&nbsp;:&nbsp;<span class="constructor">Location</span>.t;<br>
&nbsp;&nbsp;&nbsp;&nbsp;pmty_attributes&nbsp;:&nbsp;<span class="constructor">Parsetree</span>.attributes;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">and</span>&nbsp;module_type_desc&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Pmty_ident</span>&nb