def fy

bendtorch@1.3.0.0 · spec.bend:128

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

128def fy(-P: Type, -Y: Type, -S: Type, r: T.Fwd<P, Y, S>) -> Y:
129  match r:
130    case T.Fwd{p, y, s}:
131      y