;extension_constructor&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;pext_name&nbsp;:&nbsp;string&nbsp;<span class="constructor">Asttypes</span>.loc;<br>
&nbsp;&nbsp;&nbsp;&nbsp;pext_kind&nbsp;:&nbsp;<span class="constructor">Parsetree</span>.extension_constructor_kind;<br>
&nbsp;&nbsp;&nbsp;&nbsp;pext_loc&nbsp;:&nbsp;<span class="constructor">Location</span>.t;<br>
&nbsp;&nbsp;&nbsp;&nbsp;pext_attributes&nbsp;:&nbsp;<span class="constructor">Parsetree</span>.attributes;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span 