def tzif.types

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

import Base

658def tzif.types(n: Nat, +s: String, +chars: String) -> List<&2, Ttype>:
659  match n:
660    case 0n:
661      Nil{}
662    case 1n+k:
663      Con{Ttype{i64s(be32(s, 0n)), U32.is_ne(u8(s, 4n), 0), tzif.abbr(chars, u8(s, 5n))},
664        tzif.types(k, String.drop(s, 6n), chars)}