def Date.add_days

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

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

import Base

376def Date.add_days(+date: Date, +n: U32) -> Result<&2, &2, Date.Error, Date>:
377  +z = Date.to_days(date)
378  Date.add_ov(z, n, U32.is_le(n, U32.sub(U32.not(0), z)))

Uses (9)

Used by (4)