<div dir="ltr"><a href="https://en.wikipedia.org/wiki/Lattice_(order)">https://en.wikipedia.org/wiki/Lattice_(order)</a><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Dec 18, 2016 at 10:46 AM, John Colvin via Digitalmars-d <span dir="ltr"><<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Article: <a href="http://erdani.com/d/bigo.html" rel="noreferrer" target="_blank">http://erdani.com/d/bigo.html</a> (do not publish; should do it with Mike)<br>
<br>
Code (preliminary): <a href="https://github.com/dlang/phobos/pull/4965" rel="noreferrer" target="_blank">https://github.com/dlang/phobo<wbr>s/pull/4965</a><br>
<br>
<br>
Andrei<br>
</blockquote>
<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
static assert(<br>
  complexity!(insertFrontMany!My<wbr>C) <= O("n2") * log(O("n1")),<br>
  "Too high complexity for insertFrontMany.");<br>
</blockquote>
<br>
You defined insertFrontMany as taking 2 template arguments, but here you only give it 1.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
as the top of the lattice defined by the partial order ≤.<br>
</blockquote>
<br>
reads weird to me. s/lattice/ladder ?<br>
</blockquote></div><br></div>