def Date.weekday.n1
import bend-time-lib@0.4.0.1/date.bend as Dateimport Base
348def Date.weekday.n1(+n: U32, is1: Bool) -> Weekday:
349 match is1:
350 case True{}:
351 Tue{}
352 case False{}:
353 Date.weekday.n2(n, U32.is_eq(n, 2))