Skip to main content
Version: 1.4.0

Subtracting

Subtraction 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. The rule when subtracting two natural numbers is that the result is an integer because, in general, the compiler cannot determine whether the value of an expression is positive or zero for all inputs.

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