def Duration.to_secs.add

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

import Base

21def Duration.to_secs.add(
22  +days: U32, +sod: U32, ok: Bool
23) -> Result<&2, &2, Duration.Error, U32>:
24  match ok:
25    case False{}:
26      Fail{OutOfRange{}}
27    case True{}:
28      Done{U32.add(U32.mul(days, 86400), sod)}