def Nar.saturating_sub
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
510def Nar.saturating_sub(+a: U32, +b: U32) -> U32:
511 Nar.sat_sub(U32.is_lt(a, b), a, b)
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
510def Nar.saturating_sub(+a: U32, +b: U32) -> U32:
511 Nar.sat_sub(U32.is_lt(a, b), a, b)