Add: Difference between revisions

Content added Content deleted
(change to pre tag)
m (Lowercase title)
Line 1: Line 1:
{{lowercase title}}
{{primitive|x+y}}
{{primitive|x+y}}
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.]]<pre>
The ''add'' primitive is [[Atomicity|fully atomic.]]<pre>
1+2
1+2
3
3