Comparison: Difference between revisions
atomicity
(add equal sign to primitive infobox) |
(atomicity) |
||
Line 1:
{{primitive|x<y<br>x>y<br>x=y}}
The comparison primitives in K are <code><</code>, <code>></code> and <code>=</code> which stand for lesser than, greater than and equal to respectively. Comparisons are [[atomicity|fully atomic]].
The comparison functions always give a boolean value, 1 or 0.
| |||