class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span> 
         <span class="identifier">ICL_SECTION</span> Section <span class="special">=</span> <span class="identifier">ICL_SECTION_INSTANCE</span><span class="special">(</span><span class="identifier">icl</span><span class="special">::</span><span class="identifier">inter_section</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</sp