def time.week

ezsys@0.1.0.0 · src/clock.bend:332

import ezsys@0.1.0.0/src/clock.bend as Clock

import Base

332# the ISO 8601 week-numbering year and week of a day number
333def time.week(+days: U32) -> U32 & U32:
334  +thu = time.thursday(days)
335  time.week.of(thu, time.civil(thu))

Uses (5)

Used by (1)

ezsys@0.1.0.0/src/clock:time.iso_week