[341] 2024-06-01 15:39:34 ruv wrote:

requestClarification - Usage of the `n|u` data type

For the word + the standard specifies the stack diagram ( n1|u1 n2|u2 -- n3|u3 ).

Is this diagram equivalent to ( n1 n2 -- n3 | u1 u2 -- u3 )?

In other words, is + formally defined for the input types ( n1 u1 ) and ( u1 n1 ), or not?