~/jendhub

def Date.sub_ov

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

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

380def Date.sub_ov(+z: U32, n: U32, ok: Bool) -> Result<&2, &2, Date.Error, Date>:
381  match ok:
382    case False{}:
383      Fail{OutOfRange{}}
384    case True{}:
385      Date.from_days(U32.sub(z, n))

Uses (7)

Used by (1)