def seq_s3

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

797def seq_s3(-P1: Type, -P2: Type, r1: Step<P1>, r2: Step<P2>) -> Step<Two<P1, P2>>:
798  pair_s3(P1, P2, r1, r2)

Uses (3)