def chunk_power

bendtorch-core@0.1.0.0 · src/tensor/word_conversion.bend:228

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

228def chunk_power() -> {Model.capacity(12n) == 4096n : Nat}:
229  {==}