trexp0</a></span> * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>represents <code>exp|-&gt;strexp:typexp</code> where <code>typexp</code> is an expression representing a type, e.h. <code>sizeof(t)</code>.</p><span class="comment-delim">*)</span></td></tr><tr id="type-hpred0.Hlseg" class="anchored"><td class="def variant constructor"><a href="#type-hpred0.Hlseg" class="anchor"></a><code><span>| </span><span><span class="co