.html#type-id">id</a> * <a href="index.html#type-exp">exp</a></code></dt><dt class="spec type" id="type-id"><a href="#type-id" class="anchor"></a><code><span class="keyword">and</span> id</code><code> = string</code></dt><dt class="spec type" id="type-exp"><a href="#type-exp" class="anchor"></a><code><span class="keyword">and</span> exp</code><code> = int</code></dt><dt class="spec type" id="type-coeff"><a href="#type-coeff" class="anchor"></a><code><span class="keyword">and</span> coeff</code><code> = <a h