Hello again :smile: I’ve been experimenting a litt...

# arrow-meta

[Miłosz Korman]

Hello again 😄
I’ve been experimenting a little bit with arrow-analysis and I’m wondering whether I could change something in this example for the v1 > v2 => Positive(v1) > Positive(v2) and Positive(v1) > Positive(v2) => Positive(v1).value > Positive(v2).value implications to hold

[Alejandro Serrano Mena]

mmm, I think the analysis is not tracking correctly that if you have pv1 = Positive(v1, then pv1.value = pv1 🤔

[Alejandro Serrano Mena]

could you open an issue?

[Miłosz Korman]

sure thing 😄