Clock.time.wd.next: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/clock.bend as Clock
Lines 139-155 of ezsys@0.1.0.0/src/clock.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/clock.bend&start_line=139&end_line=155

import Base

# the next day of the week: Sunday is followed by Monday
def time.wd.next(day: Wd) -> Wd:
  match day:
    case Mon{}:
      Tue{}
    case Tue{}:
      Wed{}
    case Wed{}:
      Thu{}
    case Thu{}:
      Fri{}
    case Fri{}:
      Sat{}
    case Sat{}:
      Sun{}
    case Sun{}:
      Mon{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/clock.bend&name=Wd