~/jendhub

def time.wd.go

ezsys@0.1.0.0 · src/clock.bend:175

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

175# the day of the week `left` days after `day`, one day at a time
176def time.wd.go(left: Nat, day: Wd) -> Wd:
177  match left:
178    case 0n:
179      day
180    case 1n+more:
181      time.wd.go(more, time.wd.next(day))

Uses (3)

Used by (1)