~/jendhub

def time.weekday.nat

ezsys@0.1.0.0 · src/clock.bend:183

import ezsys@0.1.0.0/src/clock.bend as Clock
import Base

183# the ISO weekday of day `num` after 1970-01-01, a Thursday, counted one
184# day at a time: the weekday's definition, which time.weekday computes
185# faster
186def time.weekday.nat(num: Nat) -> U32:
187  time.wd.num(time.wd.go(num, Thu{}))

Uses (5)

Used by (0)

No other definition uses this definition.