<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 23, 2015 at 4:20 PM, Peter Wang <span dir="ltr"><<a href="mailto:novalazy@gmail.com" target="_blank">novalazy@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On Fri, 23 Jan 2015 13:41:58 +1100 (AEDT), Julien Fischer <<a href="mailto:jfischer@opturion.com" target="_blank">jfischer@opturion.com</a>> wrote:<br>
><br>
> For review by anyone.<br>
><br>
> I am chiefly looking for feedback on the name of the new predicate.<br>
<br>
</span>I think the name is fine.  Is it all that useful?<br></blockquote><div><br></div><div>We seem to have acquired multiple versions of it in the G12 platform and various Opturion projects</div><div>(under various names) somehow -- I want to add it to the stdlib (or failing that G12's common library)</div><div>so we only have one version.</div><div><br></div><div>In our case, the integers are indexes into some other data structure.</div><div><br></div><div>Cheers,</div><div>Julien.</div></div><br></div></div>