I would like to express stream operations in the handshake dialect. One of these operations should drop incoming tuples depending on certain conditions, e.g., drop all numbers that are negative. Therefore, I would require a circuit that does not always produce results.
I tried to use
never, but it’s not clear to me how one should use it. Furthermore, there exists no conversion of
Is this an infeasible approach or even impossible to achieve in the handshake dialect?