def time.date

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

import Base

106# YYYY-MM-DD of a day number
107def time.date(days: U32) -> String:
108  time.ymd.of(time.civil(days))

Uses (4)