def size_outside
bendtorch-core@0.1.0.0 · src/tensor/read_contract.bend:44
import bendtorch-core@0.1.0.0/src/tensor/read_contract.bend as ReadContract
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws
44def size_outside(+shape: Shape.Shape, +fill: F32, +index: U32, outside: {Nat.is_lt(U32.to_nat(index), Shape.logical_numel(Shape.dimensions(shape))) == False{} : Bool}) ->
45 {Nat.is_lt(U32.to_nat(index), StorageLaws.size(StorageLaws.created(Shape.count(shape), fill))) == False{} : Bool}:
46 %Equal.sym(Nat, StorageLaws.size(StorageLaws.created(Shape.count(shape), fill)), U32.to_nat(Shape.count(shape)), created_size(shape, fill)) : {Nat.is_lt(U32.to_nat(index), _) == False{} : Bool}
47 word_outside(shape, index, outside)