def inferred_one

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:194

import Base

194def inferred_one(+count: Nat, +extents: List<&2, Extent>, product: Product) -> Result<&2, &2, Error, List<&2, U32>>:
195  match product:
196    case ZeroProduct{}:
197      unfilled(count)
198    case Within{product}:
199      divided(extents, Nat.divmod(count, product))
200    case Beyond{}:
201      beyond(count, extents)