sig Customer { orders: seq RecordedOrder, } sig RecordedOrder {} fact “example fact” { RecordedOrder.~orders > 0; } How can I revers the orders relation, the normal ~ operator doesn’t work and I get this error ~ can be used only with a binary relation.Instead, its possible type(s) are:{this/Customer->seq/Int->this/RecordedOrder} Is there a way to achieve […]