~/jendhub

def first

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

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

72def first(pair: Shape.Shape & Shape.Shape) -> Shape.Shape:
73  (left, right) = pair
74  left

Uses (3)

Used by (1)