>of</span> <span><a href="#type-fpattern">fpattern</a> <span class="xref-unresolved">Base</span>.list</span> * <a href="#type-term">term</a></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>A function, where each argument capture by a f-pattern.</p><span class="comment-delim">*)</span></td></tr><tr id="type-termkind.TIte" class="anchored"><td class="def variant constructor"><a href="#type-termkind.TIte" class="anchor"></a><code><span>| </span><span><span class="constructor">TIte