Function x is greater than y

x is greater than y

Format:

x is greater than y

Input:

Output:

Conditional properties that reference this function:

• if xs is greater than (minimum value of stack xss), then minimum value of stack [ xs, xss ] = minimum value of stack xss

  (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