Clock.time.wd.bits: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/clock.bend as Clock
Lines 292-305 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=292&end_line=305

import Base

# the day of the week a word's value in days after a Monday, one bit at a
# time from the lowest: the value is the bit plus twice the rest's
def time.wd.bits(len: Nat, word: Word(len)) -> Wd:
  match len:
    case 0n:
      Mon{}
    case 1n+more:
      match word:
        case WCon{False{}, rest}:
          +off = time.wd.bits(more, rest)
          time.wd.plus(off, off)
        case WCon{True{}, rest}:
          +off = time.wd.bits(more, rest)
          time.wd.next(time.wd.plus(off, off))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/clock.bend&name=Wd
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/clock.bend&name=time.wd.next
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/clock.bend&name=time.wd.plus