def trp2
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
3568def trp2(-P: Type, p: P, g: P, r: PTA) -> Train<P>:
3569 match r:
3570 case PTA{t, xs, +off}: trp3(P, p, g, t, Array.get(F32, xs, off), (off + 1 : U32))
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
3568def trp2(-P: Type, p: P, g: P, r: PTA) -> Train<P>:
3569 match r:
3570 case PTA{t, xs, +off}: trp3(P, p, g, t, Array.get(F32, xs, off), (off + 1 : U32))