def Date.until_days.go

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

import Base

471def Date.until_days.go(
472  +zs: U32, +ze: U32, lt: Bool
473) -> Result<&2, &2, Date.Error, U32>:
474  match lt:
475    case True{}:
476      Fail{OutOfRange{}}
477    case False{}:
478      Done{U32.sub(ze, zs)}