law select_dropped_around

bendtorch-core@0.1.0.0 · src/tensor/slice_LAWS.bend:107

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

107law select_dropped_around:
108  for +prefix: List<&2, U32>
109  for +extent: U32
110  for +suffix: List<&2, U32>
111  {Slice.dropped(List.append(&2, U32, prefix, extent <> suffix), Shape.rank_dimensions(prefix)) ==
112    List.append(&2, U32, prefix, suffix) : List<&2, U32>}