def tz.name.allowed

bend-kit-time@0.3.0.0 · time.bend:797

import Base

797def tz.name.allowed(ok: Bool, next: Unit -> Maybe<&2, TzText>) -> Maybe<&2, TzText>:
798  match ok:
799    case True{}:
800      next(Unit{})
801    case False{}:
802      None{}