def Duration.sub

bend-kit-time@0.3.0.0 · time.bend:93

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

93def Duration.sub(a: Duration, b: Duration) -> Duration:
94  match a b:
95    case Duration{sa, +na} Duration{sb, +nb}:
96      Duration.borrow(U32.is_lt(na, nb), Int.I64.sub(sa, sb), (na - nb : U32))