Miłosz Korman
03/23/2022, 10:29 PMv1 > v2 => Positive(v1) > Positive(v2)
and Positive(v1) > Positive(v2) => Positive(v1).value > Positive(v2).value
implications to holdAlejandro Serrano Mena
03/24/2022, 8:18 AMpv1 = Positive(v1
, then pv1.value = pv1
🤔Miłosz Korman
03/24/2022, 9:05 AM