-
Klaus Aehlig authored
The list monad provides convenient syntax for non-deterministic algorithms. Add a function leaving that monad with this intuition in mind. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com> Cherry-picked-from: a1da8a50 Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Hrvoje Ribicic <riba@google.com>
69a8f4f0