def unfilled

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

import Base

168# An Inferred size whose other sizes multiply to 0: ambiguous on an empty
169# input, a count mismatch on any other.
170def unfilled(count: Nat) -> Result<&2, &2, Error, List<&2, U32>>:
171  match count:
172    case 0n:
173      Fail{AmbiguousInferred{}}
174    case 1n+rest:
175      Fail{count_mismatch()}