def tz.name.valid

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

import bend-kit-time@0.3.0.0/time.bend as Time
import Base

772def tz.name.valid(ok: Bool, name: String, rest: String) -> Maybe<&2, TzText>:
773  match ok:
774    case True{}:
775      Some{TzText{name, rest}}
776    case False{}:
777      None{}

Uses (4)

Used by (1)