Tar.enc: def of bend-kit-tar@0.3.0.0
Import: import bend-kit-tar@0.3.0.0/tar.bend as Tar
Lines 696-702 of bend-kit-tar@0.3.0.0/tar.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-tar@0.3.0.0/tar.bend&start_line=696&end_line=702

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

def enc(e: Entry, out: Bytes.Bytes) -> Maybe<&1, Bytes.Bytes>:
  match e:
    case File{name, data}:
      Bytes.Bytes{+dl, db} = data
      enc.check(48, 420, dl, db, out, Bytes.find(name, "\u{0}"))
    case Dir{name}:
      enc.check(53, 493, 0, Bytes.alloc(0), out, Bytes.find(name, "\u{0}"))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=alloc
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=find
  https://jend.leeeet.dev/definition.txt?path=bend-kit-tar@0.3.0.0/tar.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=bend-kit-tar@0.3.0.0/tar.bend&name=enc.check