pan class="keyword">type</span> t</code><code> = <span><a href="index.html#type-cell">cell</a> list</span></code></dt><dt class="spec type" id="type-cell"><a href="#type-cell" class="anchor"></a><code><span class="keyword">and</span> cell</code><code> = <a href="index.html#type-coeff">coeff</a> * <span><a href="index.html#type-var">var</a> list</span></code></dt><dt class="spec type" id="type-var"><a href="#type-var" class="anchor"></a><code><span class="keyword">and</span> var</code><code> = <a href="index