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 this ?
I expect to reverse the relation