ode> is a pointer type to <code>t</code>, ignoring quals</p></dd></dl><dl><dt class="spec value" id="val-array_elem"><a href="#val-array_elem" class="anchor"></a><code><span class="keyword">val</span> array_elem : <span><a href="index.html#type-t">t</a> option</span> <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><dd><p>If an array type, return the type of the element. If not, return the default type if given, otherwise raise an e