BendMlLlama.layout_135m: law of bend-ml-llama@0.2.1.0
Import: import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama
Lines 197-202 of bend-ml-llama@0.2.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-llama@0.2.1.0/main.bend&start_line=197&end_line=202

import Base

# LAW (layout): the shapes the types give to SmolLM2-135M's weights add up to 134,515,008 numbers,
# SmolLM2-360M's to 361,821,120 and SmolLM2-1.7B's to 1,711,376,384: the number of values in each model.safetensors (reference/prep.py counts them).
# The loader checks every file's size against the shape in its type, so together the files cover the checkpoint
# exactly. In U32, whose sums wrap at 2^32; every partial sum here is below it, so this is the exact count.
law layout_135m:
  {Cfg.size(smollm2_135m()) == (134515008 : U32) : U32}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-ml-llama@0.2.1.0/main.bend&name=Cfg.size
  https://jend.leeeet.dev/definition.txt?path=bend-ml-llama@0.2.1.0/main.bend&name=smollm2_135m