Function x is less than y

x is less than y

Format:

x is less than y

Input:

Output:

Conditional properties that reference this function:

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

  (link)

• if compare bit stack xs and bit stack ys = [ 0, [ 0, [ ] ] ], then xs is less than ys

  (link)

Comments

Please log in to add comments