pan class="constructor">Target_tex</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Target_html</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Target_lem</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;target&nbsp;=&nbsp;<span class="constructor">Target_no_ident</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Target</span>.non_ident_target&nbsp;<span class="keywo