~/jendhub

def seq_at_f

bendtorch@1.3.0.0 · main.bend:853

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

853def seq_at_f(-P1: Type, -P2: Type, -X: Type, -Y: Type, -Z: Type, -S1: Type, -S2: Type, fa: P1 -> X -> Fwd<P1, Y, S1>, fb: P2 -> Y -> Fwd<P2, Z, S2>, p: Two<P1, P2>, x: X) -> Fwd<Two<P1, P2>, Z, Two<S1, S2>>:
854  match p:
855    case Two{p1, p2}: seq_at_f2(P1, P2, Y, Z, S1, S2, p2, fb, fa(p1, x))

Uses (3)

Used by (1)