def tzif.count
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
673# Header counts, in RFC 8536 order: isut, isstd, leap, time, type, char.
674def tzif.count(+h: String, i: Nat) -> Nat:
675 U32.to_nat(be32(h, (20n + 4n * i : Nat)))
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
673# Header counts, in RFC 8536 order: isut, isstd, leap, time, type, char.
674def tzif.count(+h: String, i: Nat) -> Nat:
675 U32.to_nat(be32(h, (20n + 4n * i : Nat)))