def lex.date
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
3751# the character after the space of a possible datetime
3752def lex.date(st: St, +cc: Char) -> St:
3753 lex.date.go(Char.is_digit(cc), st, cc)
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
3751# the character after the space of a possible datetime
3752def lex.date(st: St, +cc: Char) -> St:
3753 lex.date.go(Char.is_digit(cc), st, cc)