I saw #128, and if I ask once more to clarify my understanding, does cmp in sign domain returns Pos if true, and Zero if false? For example, does cmp < Zero Pos returns Pos because Zero<Pos is true? And also I can't figure out what to do if I can't know whether the condition is true or not, like cond < Pos Pos. Do I return Zero in this situation? Thank you:)
I saw #128, and if I ask once more to clarify my understanding, does cmp in sign domain returns Pos if true, and Zero if false? For example, does cmp < Zero Pos returns Pos because Zero<Pos is true? And also I can't figure out what to do if I can't know whether the condition is true or not, like cond < Pos Pos. Do I return Zero in this situation? Thank you:)