def source_of

bendtorch-core@0.1.0.0 · src/tensor/permute_values.bend:42

import Base
import bendtorch-core@0.1.0.0/src/tensor/observation.bend as Values

42def source_of(request: Request, index: Nat) -> Nat:
43  Request{+input, +axes} = request
44  Values.permute_source_index(input, axes, index)