law signed_capped_within

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

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

280law signed_capped_within:
281  for +bound: Nat
282  for +extents: List<&2, Signed.Extent>
283  for +product: Nat
284  for within: {Signed.capped(bound, extents) == Signed.Within{product} : Signed.Product}
285  {Nat.is_le(product, bound) == True{} : Bool}