Time.tzif.parse: def of bend-kit-time@0.3.0.0
Import: import bend-kit-time@0.3.0.0/time.bend as Time
Lines 703-707 of bend-kit-time@0.3.0.0/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-time@0.3.0.0/time.bend&start_line=703&end_line=707

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

# A TZif file, such as one from /usr/share/zoneinfo. Versions 2 and up use their 64-bit block.
# ponytail: reads the bytes as a byte String; walk Bytes directly if zone files get big.
def tzif.parse(b: Bytes.Bytes) -> Maybe<&2, Zone>:
  +s = Bytes.to_string(b)
  tzif.go(U32.is_ge(u8(s, 4n), 50), s)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=to_string
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Zone
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=tzif.go
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=u8