def tz.field.valid

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

import Base

834def tz.field.valid(ok: Bool, n: U32, rest: String) -> Maybe<&2, TzField>:
835  match ok:
836    case True{}:
837      Some{TzField{n, rest}}
838    case False{}:
839      None{}