/span>, <span class="type-var">'v</span>, <span class="type-var">'b</span>, <span class="type-var">'m</span>)</span> <a href="index.html#type-exp">exp</a></span> * <span class="type-var">'a</span></code></td></tr></table></dt><dt class="spec type" id="type-ty"><a href="#type-ty" class="anchor"></a><code><span class="keyword">type</span> <span>'m ty</span></code><code> = </code><table class="variant"><tr id="type-ty.Ty_Mem" class="anchored"><td class="def constructor"><a href="#type-ty.Ty_Mem" class="anch