def Nar.checked_sub

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

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

494def Nar.checked_sub(+a: U32, +b: U32) -> Maybe<&2, U32>:
495  Nar.opt(U32.is_lt(a, b), U32.sub(a, b))

Uses (5)

Used by (2)