def tz.name.done

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

import Base

779def tz.name.done(rev: String, rest: String) -> Maybe<&2, TzText>:
780  +name = String.reverse(rev)
781  tz.name.valid(Nat.is_ge(String.length(name), 3n), name, rest)