Add: Difference between revisions
Content added Content deleted
No edit summary |
(change to pre tag) |
||
| Line 2: | Line 2: | ||
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K. |
The '''Add''' function, generally denoted by <code>+</code>, is used for addition in K. |
||
The ''Add'' primitive is [[Atomicity|fully atomic.]]< |
The ''Add'' primitive is [[Atomicity|fully atomic.]]<pre> |
||
1+2 |
1+2 |
||
3 |
3 |
||
| Line 12: | Line 12: | ||
(68 123 |
(68 123 |
||
12 4) |
12 4) |
||
</pre> |
|||
</syntaxhighlight> |
|||