~/jendhub

def pair_load2

bendtorch@1.3.0.0 · main.bend:823

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

823def pair_load2(~P2: Type, ~X2: Type, ~Y2: Type, ~S2: Type, ~lb: Layer<P2, X2, Y2, S2>, -P1: Type, p2: P2, r: PA<P1>) -> PA<Two<P1, P2>>:
824  match r:
825    case PA{p1, xs, off}:
826      pa_second(P1, P2, p1, Layer.load(P2, X2, Y2, S2, lb, p2, xs, off))

Uses (5)

Used by (1)