~/jendhub

def Date.add_ov

bend-time-lib@0.4.0.1 · date.bend:369

import bend-time-lib@0.4.0.1/date.bend as Date
import Base

369def Date.add_ov(+z: U32, n: U32, ok: Bool) -> Result<&2, &2, Date.Error, Date>:
370  match ok:
371    case False{}:
372      Fail{OutOfRange{}}
373    case True{}:
374      Date.from_days(U32.add(z, n))

Uses (7)

Used by (1)