~/jendhub

def lex.date.go

emerging-eztoml@0.9.0.0 · main.bend:3743

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

3743# the character after the space of a possible datetime
3744def lex.date.go(digit: Bool, st: St, cc: Char) -> St:
3745  match digit:
3746    case True{}:
3747      lex.date.digit(st, cc)
3748    case False{}:
3749      bare.finish(st, cc, True{})

Uses (5)

Used by (1)