def Date.sub_days

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

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

import Base

387def Date.sub_days(+date: Date, +n: U32) -> Result<&2, &2, Date.Error, Date>:
388  +z = Date.to_days(date)
389  Date.sub_ov(z, n, U32.is_ge(z, n))

Uses (7)

Used by (1)

bend-time-lib@0.4.0.1/date:Date.previous_weekday