~/jendhub

def index_depth

bendtorch-core@0.1.0.0 · src/tensor/gather.bend:216

import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
import Base

216def index_depth(pair: Nat & Nat) -> Nat:
217  (depth, capacity) = pair
218  depth

Uses (3)

Used by (1)