def Date.next_weekday
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
425def Date.next_weekday(
426 +d: Date, w: Weekday
427) -> Result<&2, &2, Date.Error, Date>:
428 Date.add_days(
429 d, Weekday.fwd(Weekday.to_u32(Date.weekday(d)), Weekday.to_u32(w))
430 )