def Date.weekday.n3
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
334def Date.weekday.n3(+n: U32, is3: Bool) -> Weekday:
335 match is3:
336 case True{}:
337 Thu{}
338 case False{}:
339 Date.weekday.n4(n, U32.is_eq(n, 4))