def pair_dump

bendtorch@1.3.0.0 · main.bend:818

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

818def pair_dump(~P1: Type, ~X1: Type, ~Y1: Type, ~S1: Type, ~P2: Type, ~X2: Type, ~Y2: Type, ~S2: Type, ~la: Layer<P1, X1, Y1, S1>, ~lb: Layer<P2, X2, Y2, S2>, p: Two<P1, P2>) -> PL<Two<P1, P2>>:
819  match p:
820    case Two{p1, p2}:
821      pl_pair(P1, P2, Layer.dump(P1, X1, Y1, S1, la, p1), Layer.dump(P2, X2, Y2, S2, lb, p2))

Uses (5)

Used by (4)