~/jendhub

def seq_s2

bendtorch@1.3.0.0 · main.bend:800

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

800def seq_s2(~P2: Type, ~Y: Type, ~Z: Type, ~S2: Type, ~lb: Layer<P2, Y, Z, S2>, -P1: Type, +op: Opt, p2: P2, g2: P2, s2: OptState<P2>, r1: Step<P1>) -> Step<Two<P1, P2>>:
801  seq_s3(P1, P2, r1, Layer.step(P2, Y, Z, S2, lb, op, p2, g2, s2))

Uses (7)

Used by (1)