def time.iso_week_text

import ezsys@0.1.0.0/main.bend as Ezsys

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

58# the ISO 8601 week as `date -u +%G-W%V` writes it, e.g. `2026-W43`
59def time.iso_week_text(secs: U32) -> String:
60  Clock.time.iso_week_text(secs)

Uses (3)

U32
String
ezsys@0.1.0.0/src/clock:time.iso_week_text

Used by (0)

No other definition uses this definition.