def Duration.sub.n2b

bend-time-lib@0.4.0.1 · duration.bend:254

import bend-time-lib@0.4.0.1/duration.bend as Duration
import Base

254def Duration.sub.n2b(
255  +days: U32, +sod: U32, +n1: U32, +b_days: U32, +b_sod: U32, +b_n: U32, borrow: Bool, z: Bool
256) -> Result<&2, &2, Duration.Error, Duration>:
257  match borrow z:
258    case True{} True{}:
259      Duration.sub.n0(days, n1, b_days, b_sod, b_n, U32.is_eq(days, 0))
260    case True{} False{}:
261      Duration.sub.n2(days, U32.sub(sod, 1), n1, b_days, b_sod, b_n, True{})
262    case False{} True{}:
263      Duration.sub.n2(days, sod, n1, b_days, b_sod, b_n, False{})
264    case False{} False{}:
265      Duration.sub.n2(days, sod, n1, b_days, b_sod, b_n, False{})

Uses (9)

Used by (1)