Feder: Reference Manual

Tuples

Every tuple supports two operations (expr0 and expr1 are tuples filled with defined variables):

• expr0 == expr1: Only possible if expr0 has exactly the same amount of types as expr1. Also every ith-type in expr0 must be exactly the same as the ith-type in expr1. Returns True, if every direct ith-value in expr0 is the same as the direct ith-value in expr1 (checked with ==), otherwise False.

• expr0 != expr1: Only possible if expr0 has exactly the same amount of types as expr1. Also every ith-type in expr0 must be exactly the same as the ith-type in expr1. Returns False, if every direct ith-value in expr0 is the same as the direct ith-value in expr1 (checked with ==), otherwise True.