Storm has no ROW constructor

You can solve this problem now with this code:

from storm.expr import Func

result = store.find(t1, In(Func("ROW", t1.c1, t1.c2), Select((t2.c3, t2.c4))))

You can trivially implement a Row expression with this code:

from storm.expr import NamedFunc

class Row(NamedFunc):

    name = "ROW"

and then do:

result = store.find(t1, In(Row(t1.c1, t1.c2), Select((t2.c3, t2.c4))))

That said, this is probably still a bug that should be fixed.

I agree with Jamu. Given that we're miscompiling the expression, it'd be better to fix that issue.

I linked a branch with a fix. I also created an MP. Anything else I need to do to get this merged?

I suggested Henning push a branch with a Row expression since I
thought it'd be generally useful. Perhaps, when we fix the real
underlying bug, it won't be particularly necessary... but in general I
think it's not a bad thing to have expressions for builtin functions
available out-of-the-box.

So even though the addition of the Row expression isn't an acceptable
fix for the problem, I think it's a useful addition to Storm.