3 ms·*in Rust's type systemby brundolf 6y ago*in Rust's type systemamelius 6y agoWhich was implemented under the assumption that 1+1=2moasda 6y agoNo, that's a consequence of the Peano axioms. 1 and 2 are just a short notation of S(0) and S(S(0)), respectively.