def when.read

emerging-eztoml@0.9.0.0 · main.bend:1116

import Base

1116# a datetime token
1117def when.read(cs: List<&2, Char>) -> WhenOut:
1118  when.after2(take.n(2n, cs, 0, True{}))