law signed_inferred_ambiguous

bendtorch-core@0.1.0.0 · src/tensor/signed_LAWS.bend:236

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

236# p = 0: ambiguous on an empty input, ElementCountMismatch on any other.
237law signed_inferred_ambiguous:
238  for +extents: List<&2, Signed.Extent>
239  for one: {Signed.inferred_count(extents) == 1n : Nat}
240  for product: {Signed.exact_product(extents) == 0n : Nat}
241  {Signed.inferred_dimensions(0n, extents) == Fail{Signed.AmbiguousInferred{}} : Result<&2, &2, Signed.Error, List<&2, U32>>}