~/jendhub

def Duration.sub.days

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

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

205def Duration.sub.days(
206  +days: U32, +sod: U32, +nanos: U32, +b_days: U32, ok: Bool
207) -> Result<&2, &2, Duration.Error, Duration>:
208  match ok:
209    case False{}:
210      Fail{OutOfRange{}}
211    case True{}:
212      Done{Duration{U32.sub(days, b_days), sod, nanos}}

Uses (6)

Used by (1)