~/jendhub

def ResidualType

bendtorch@1.3.0.0 · main.bend:47

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

47def ResidualType(A: Type) -> Type:
48  Pair3(Unit, A, Unit)

Uses (2)

Used by (0)

No other definition uses this definition.