law signed_narrow_last_inside

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

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

382law signed_narrow_last_inside:
383  for input: Core.Dynamic
384  for +dim: Signed.Position
385  for +k: U32
386  for +length: U32
387  for inside: {U32.is_lt(k, extent_of(input, axis_of(input, dim))) == True{} : Bool}
388  {Signed.narrow(input, dim, Signed.Last{k}, length) ==
389    Slice.narrow(input, axis_of(input, dim), Signed.wrap(extent_of(input, axis_of(input, dim)), Signed.Last{k}), length) :
390    Core.Dynamic & Result<&2, &1, Slice.Error, Core.Dynamic>}