def when.branch

emerging-eztoml@0.9.0.0 · main.bend:1092

import Base

1092# a colon means a local time; another digit continues a year
1093def when.branch(colon: Bool, digit: Bool, nn: U32, +cc: Char, tt: List<&2, Char>) -> WhenOut:
1094  match colon:
1095    case True{}:
1096      when.time.only(when.time.rest(tt, nn))
1097    case False{}:
1098      when.year.more(digit, nn, cc, tt)