Bendtorch.Pair3: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 43-45 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=43&end_line=45

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=Two