ord">val</span> cast : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_c_strlen"><a href="#val-of_c_strlen" class="anchor"></a><code><span class="keyword">val</span> of_c_strlen : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>It appends the <code>strlen</code> field.</p></dd></dl><dl