def Date.weekday.n

import bend-time-lib@0.4.0.1/date.bend as Date

import Base

355def Date.weekday.n(+n: U32) -> Weekday:
356  Date.weekday.n1(n, U32.is_eq(n, 1))

Uses (4)