def time.week.text
import ezsys@0.1.0.0/src/clock.bend as Clockimport Base
341# YYYY-Www of an ISO year and week, as `date +%G-W%V` writes it
342def time.week.text(week: U32 & U32) -> String:
343 (year, num) = week
344 time.four(year) ++ SCon{'-', SCon{'W', time.two(num)}}