 int)</span></span> <span>&#45;&gt;</span> <span><span>(<span><span class="type-var">'a</span> list</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> list</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> list</span>)</span> <a href="../index.html#module-IStd">IStdlib.IStd</a>.Staged.t</span></code></dt><dd><p><code>append_no_duplicates list1 list2</code>, assuming that list1 and list2 have no duplicates on their own, it computes <code>list1 @ (filtered list2)</code>, s