<code><span><span class="keyword">val</span> mk_alias_type_decl : <span><a href="../../../../../Ident/index.html#type-t">Ident.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-type_expr">type_expr</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-type_decl">type_decl</a></span></code></div><div class="spec-doc"><p><code>mk_alias_type_decl name te</code> should return an <em>alias</em> type declaration, <i>i.e.</i> the type declaration making <code>name</code> a synonym for