-
Petr Pudlak authored
.. in a given set. This is similar to FindFirst function in our Python code-base, but this one automatically picks the element after the end of the set, if the set has no holes. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
4116c9e0