def Nar.checked_sub
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
494def Nar.checked_sub(+a: U32, +b: U32) -> Maybe<&2, U32>:
495 Nar.opt(U32.is_lt(a, b), U32.sub(a, b))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
494def Nar.checked_sub(+a: U32, +b: U32) -> Maybe<&2, U32>:
495 Nar.opt(U32.is_lt(a, b), U32.sub(a, b))