def IsoWeek.from
import bend-time-lib@0.4.0.1/week.bend as Weekimport Base
import bend-time-lib@0.4.0.1/date.bend as D
147def IsoWeek.from(
148 +year: U32, +week: U32, weekday: D.Weekday
149) -> Result<&2, &2, D.Date.Error, D.Date>:
150 IsoWeek.from.ge(year, week, weekday, U32.is_eq(week, 0))
Uses (7)
Used by (0)
No other definition uses this definition.