Skip to main content
Version: 1.3.0

Adding

Addition in LIGO is accomplished by means of the + binary operator, which is overloaded to apply to any combination of natural numbers and integers, as shown in the following examples. Note that adding an integer to a natural number produces an integer, because the compiler cannot determine, in general, whether the result would be always a natural number for all inputs.

const a : int = 5 + 10; // int + int yields int
const b : nat = 5n + 10n; // nat + nat yields nat
const c : int = 5n + 10; // nat + int yields int
const d : int = 10 + 5n; // int + nat yields int
// const error : nat = 5n + 10;