def tzif.bsize

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

import Base

677# The data block's size in bytes, for header h.
678def tzif.bsize(+t8: Bool, +h: String) -> Nat:
679  +tc = tzif.count(h, 3n)
680  (tc * tzif.size(t8) + tc + tzif.count(h, 4n) * 6n + tzif.count(h, 5n) +
681    tzif.count(h, 2n) * (tzif.size(t8) + 4n) + tzif.count(h, 1n) + tzif.count(h, 0n) : Nat)