Bendtorch.tr0: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 3526-3528 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=3526&end_line=3528

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=OptState
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=PA
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=Train