Function compare bit x and bit y

compare bit x and bit y

Format:

compare bit x and bit y

Input:

bit x -

bit y -

Output:

list - None

Properties that reference this function:

compare bit 0 and bit 0 = [ 1, [ 0, [ ] ] ] (Compare 0 to 0)

compare bit 1 and bit 0 = [ 0, [ 1, [ ] ] ] (Compare 1 to 0)

compare bit 0 and bit 1 = [ 0, [ 0, [ ] ] ] (Compare 0 to 1)

compare bit 1 and bit 1 = [ 1, [ 0, [ ] ] ] (Compare 1 to 1)

compare bit stack [ x, [ ] ] and bit stack [ y, [ ] ] = compare bit x and bit y (Compare x to y)

Conditional properties that reference this function:

if compare bit stack xs and bit stack ys = [ 1, [ 0, [ ] ] ], then compare bit stack [ x, xs ] and bit stack [ y, ys ] = compare bit x and bit y
(link)

Comments

Please log in to add comments