def Date.weekday.n5
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
320def Date.weekday.n5(+n: U32, is5: Bool) -> Weekday:
321 match is5:
322 case True{}:
323 Sat{}
324 case False{}:
325 Date.weekday.n6(n, U32.is_eq(n, 6))