def tdp2

bendtorch@1.3.0.0 · main.bend:3494

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3494def tdp2(-P: Type, p: P, g: P, +p1: F32, +p2: F32, +l: F32, xp: List<&2, F32>, r: PTA) -> TrainPL<P>:
3495  match r:
3496    case PTA{t, xs, +off}:
3497      TrainPL{Train{p, g, Packed{t}, p1, p2, l}, List.append(&2, F32, xp, List.append(&2, F32, cells_l(U32.to_nat(off), 0, [], Array.get(F32, xs, 0)), [p1, p2]))}

Uses (10)

Used by (1)

bendtorch@1.3.0.0/main:tdp