def Duration.add.days

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

import Base

154def Duration.add.days(
155  +d1: U32, +d2: U32, +sod: U32, +nanos: U32, carry: U32, ok: Bool
156) -> Result<&2, &2, Duration.Error, Duration>:
157  match ok:
158    case False{}:
159      Fail{OutOfRange{}}
160    case True{}:
161      Done{Duration{U32.add(U32.add(d1, d2), carry), sod, nanos}}