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