def tz.day.week
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
927def tz.day.week(b: TzField, month: U32) -> Maybe<&2, TzDayPart>:
928 match b:
929 case TzField{week, rest}:
930 do Maybe<&2, TzDayPart>:
931 c : TzField <- tz.number(tz.after('.', rest))
932 tz.day.weekday(c, month, week)