Clock.time.digit.at: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/clock.bend as Clock
Lines 17-55 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=17&end_line=55

import Base

# the k-th decimal digit character (9 for anything past it)
def time.digit.at(place: Nat) -> Char:
  match place:
    case 0n:
      '0'
    case 1n+k1:
      match k1:
        case 0n:
          '1'
        case 1n+k2:
          match k2:
            case 0n:
              '2'
            case 1n+k3:
              match k3:
                case 0n:
                  '3'
                case 1n+k4:
                  match k4:
                    case 0n:
                      '4'
                    case 1n+k5:
                      match k5:
                        case 0n:
                          '5'
                        case 1n+k6:
                          match k6:
                            case 0n:
                              '6'
                            case 1n+k7:
                              match k7:
                                case 0n:
                                  '7'
                                case 1n+k8:
                                  match k8:
                                    case 0n:
                                      '8'
                                    case 1n+_k9:
                                      '9'

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat