law signed_inferred_repeated

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

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

287# More than one Inferred size is refused before anything else.
288law signed_inferred_repeated:
289  for +count: Nat
290  for +extents: List<&2, Signed.Extent>
291  for +more: Nat
292  for repeated: {Signed.inferred_count(extents) == 2n+more : Nat}
293  {Signed.inferred_dimensions(count, extents) == Fail{Signed.RepeatedInferred{}} : Result<&2, &2, Signed.Error, List<&2, U32>>}