an></code></td></tr></table></div><div class="spec-doc"><p>More complex patterns are used in match-cases. In the current implementation, this is only used as a way to translate a PMRS back to a set of mutually recursive functions.</p></div></div><div class="odoc-spec"><div class="spec type" id="type-termkind" class="anchored"><a href="#type-termkind" class="anchor"></a><code><span><span class="keyword">type</span> termkind</span><span> = </span></code><table><tr id="type-termkind.TApp" class="anchored"><td 