class="keyword">and</span>&nbsp;type_exception&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;ptyexn_constructor&nbsp;:&nbsp;<span class="constructor">Parsetree</span>.extension_constructor;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ptyexn_loc&nbsp;:&nbsp;<span class="constructor">Location</span>.t;<br>
&nbsp;&nbsp;&nbsp;&nbsp;ptyexn_attributes&nbsp;:&nbsp;<span class="constructor">Parsetree</span>.attributes;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">and</span>&nbsp;extension_constructor_kind&nbsp;=<br>
&nbsp;&