~/jendhub

def when.after2

emerging-eztoml@0.9.0.0 · main.bend:1108

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

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

Uses (3)

Used by (1)