def Iso8601.add_u32

bend-time-lib@0.4.0.1 · iso8601.bend:588

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base

588def Iso8601.add_u32(+a: U32, +b: U32) -> Result<&2, &2, Iso8601.Error, U32>:
589  Iso8601.add_u32.go(a, b, U32.is_gt(b, U32.sub(U32.not(0), a)))

Uses (7)

Used by (1)