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:
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