def time.iso_week

import ezsys@0.1.0.0/main.bend as Ezsys

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

54# the ISO 8601 week-numbering year and week of seconds since the epoch
55def time.iso_week(secs: U32) -> U32 & U32:
56  Clock.time.iso_week(secs)

Uses (3)

U32
Pair
ezsys@0.1.0.0/src/clock:time.iso_week

Used by (0)

No other definition uses this definition.