Function compare bit stack x and bit stack y

compare bit stack x and bit stack y

Format:

compare bit stack x and bit stack y

Input:

list x -

list y -

Output:

list - None

Properties that reference this function:

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 = [ 0, [ 0, [ ] ] ], then compare bit stack [ x, xs ] and bit stack [ y, ys ] = [ 0, [ 0, [ ] ] ] (link)
if compare bit stack xs and bit stack ys = [ 0, [ 1, [ ] ] ], then compare bit stack [ x, xs ] and bit stack [ y, ys ] = [ 0, [ 1, [ ] ] ] (link)
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)
if compare bit stack xs and bit stack ys = [ 0, [ 0, [ ] ] ], then xs is less than ys (link)
if compare bit stack xs and bit stack ys = [ 0, [ 1, [ ] ] ], then xs is greater than ys (link)

Comments

Please log in to add comments