Function x ≠ y

x is not equal to y

Format:

x ≠ y

Input:

Output:

Conditional properties that reference this function:

• if not(x = y), then [x,xs] ≠ [y,ys] (link)
• if are_not_equal_list(number, value): find_number_index([number, remain], value, index) == find_number_index(remain, value, add_uint(index, [1, []])) (link)

Comments

Please log in to add comments