infix +

🌌nat.infix +

§  infix +(other nat)

 => 

nat

:

Object

[src]

add two natural numbers
redefines numeric.infix +:
basic operations: 'infix +' (addition)