Comparison: Difference between revisions
Content added Content deleted
(add equal sign to primitive infobox) |
(atomicity) |
||
Line 1: | Line 1: | ||
{{primitive|x<y<br>x>y<br>x=y}} |
{{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. |
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]]. |
||
Character comparison is done via ASCII codes/UTF-8 code points, based on the implementation. |
|||
The comparison functions always give a boolean value, 1 or 0. |
The comparison functions always give a boolean value, 1 or 0. |