EmergingEztoml.when.after2: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 1108-1114 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=1108&end_line=1114

import Base

# two digits decide a time (HH:) or a date (YYYY-)
def when.after2(dd: Dig) -> WhenOut:
  match dd:
    case DigBad{}:
      WFail{"invalid datetime"}
    case DigOk{n, cs}:
      when.after2.go(cs, n)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Dig
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=WhenOut
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=when.after2.go