~/jendhub

def trp

bendtorch@1.3.0.0 · main.bend:3572

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

3572def trp(-P: Type, g: P, r: PA<P>) -> Train<P>:
3573  match r:
3574    case PA{p, xs, +off}: trp2(P, p, g, pt_load(xs, off))

Uses (4)

Used by (1)