>,</span> <span class="n">jr2</span><span class="p">,</span> <span class="n">itmp</span><span class="p">,</span> <span class="n">innz</span><span class="p">,</span> <span class="n">state</span>

      <span class="n">solver</span>   <span class="o">=&gt;</span> <span class="n">mat</span><span class="p">%</span><span class="n">slv_t</span>
      <span class="n">nb_elt</span>   <span class="o">=&gt;</span> <span class="n">mat</span><span class="p">%</span><span class="n">ne</span>
      <span class="n">n</spa