def date.eq.go

emerging-eztoml@0.9.0.0 · main.bend:2510

import Base

2510# whether the rest of the shape matches
2511def date.eq.go(ok: Bool, more: Unit -> Bool) -> Bool:
2512  match ok:
2513    case False{}:
2514      False{}
2515    case True{}:
2516      more(Unit{})