def inferred_from

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

import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed

import Base

203def inferred_from(+count: Nat, +extents: List<&2, Extent>, inferred: Nat) -> Result<&2, &2, Error, List<&2, U32>>:
204  match inferred:
205    case 0n:
206      Done{filled(extents, 0)}
207    case 1n+more:
208      match more:
209        case 0n:
210          inferred_one(count, extents, capped(count, extents))
211        case 1n+rest:
212          Fail{RepeatedInferred{}}

Uses (9)

Used by (8)