~/jendhub

def Duration.sub.n0

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

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

242def Duration.sub.n0(
243  +days: U32, +n1: U32, +b_days: U32, +b_sod: U32, +b_n: U32, zdays: Bool
244) -> Result<&2, &2, Duration.Error, Duration>:
245  match zdays:
246    case True{}:
247      Fail{OutOfRange{}}
248    case False{}:
249      Duration.sub.s(
250        U32.sub(days, 1), 86399, U32.sub(U32.add(n1, 1000000000), b_n),
251        b_days, b_sod
252      )

Uses (8)

Used by (1)