def Int.saturating_sub

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

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

import Base

243def Int.saturating_sub(+n: Nat, +s: Bool, +a: Word(n), b: Word(n)) -> Word(n):
244  Int.saturate(n, s, Bool.or(Bool.not(s), Int.msb(n, a)),
245    Int.sub_ov(n, s, a, b))

Uses (8)

Used by (2)