~/jendhub

def Pair3

bendtorch@1.3.0.0 · main.bend:43

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

43# Type helpers for the left-associated pairs used by Seq/Fork and for Residual's two parameter-free layers.
44def Pair3(A: Type, B: Type, C: Type) -> Type:
45  Two<Two<A, B>, C>

Uses (1)

Used by (1)