BendtorchLoad.Header: type of bendtorch-load@1.3.0.0
Import: import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
Lines 528-532 of bendtorch-load@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-load@1.3.0.0/main.bend&start_line=528&end_line=532

import Base

# A parsed safetensors header: where the data starts and each tensor's record. Reading it once lets a model be filled
# one piece at a time (`piece`), so that no array of the whole model exists. One array for all of SmolLM2-1.7B's
# 1.71e9 parameters takes a 2^31-cell block (8 GiB) whose memory the training step's smaller blocks never reuse.
type Header is Data:
  Header{start: W64, recs: List<&2, Rec>}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendtorch-load@1.3.0.0/main.bend&name=Rec
  https://jend.leeeet.dev/definition.txt?path=bendtorch-load@1.3.0.0/main.bend&name=W64