def tr0

bendtorch@1.3.0.0 · main.bend:3526

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

3526def tr0(-P: Type, g: P, r: PA<P>) -> Train<P>:
3527  match r:
3528    case PA{p, xs, off}: Train{p, g, NoMom{}, 0.0, 0.0, 0.0}

Uses (3)

Used by (1)