~/jendhub

def seq_at_dump

bendtorch@1.3.0.0 · main.bend:869

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

869def seq_at_dump(-P1: Type, -P2: Type, da: P1 -> PL<P1>, db: P2 -> PL<P2>, p: Two<P1, P2>) -> PL<Two<P1, P2>>:
870  match p:
871    case Two{p1, p2}: pl_pair(P1, P2, da(p1), db(p2))

Uses (3)

Used by (1)