~/jendhub

def second

bendtorch-core@0.1.0.0 · src/autograd/reduce_to_fold_PROOF.bend:76

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

76def second(pair: Shape.Shape & Shape.Shape) -> Shape.Shape:
77  (left, right) = pair
78  right

Uses (3)

Used by (1)