def Inside

bendtorch-core@0.1.0.0 · src/autograd/gradient_LAWS.bend:41

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

41def Inside(+shape: Shape.Shape, +index: U32) -> Type:
42  {Nat.is_lt(U32.to_nat(index), Shape.logical_numel(Shape.dimensions(shape))) == True{} : Bool}