def found

bendtorch-core@0.1.0.0 · src/tensor/permute_build.bend:103

import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuild

import Base

103def found(result: Maybe<&2, List<&2, Pick>>, +strides: List<&2, Nat>, +index: Nat) -> Nat:
104  match result:
105    case None{}:
106      0n
107    case Some{+picks}:
108      U32.to_nat(U32.from_nat(offset(strides, picks, U32.to_nat(U32.from_nat(index)))))

Uses (7)

Used by (3)