def Int.saturating_add

bend-kit-int@0.2.0.0 · int.bend:240

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

240def Int.saturating_add(+n: Nat, +s: Bool, +a: Word(n), b: Word(n)) -> Word(n):
241  Int.saturate(n, s, Bool.and(s, Int.msb(n, a)), Int.add_ov(n, s, a, b))

Uses (7)

Used by (2)