def tz.name.valid
import bend-kit-time@0.3.0.0/time.bend as Timeimport 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{}