def tsa_fin

bendtorch@1.3.0.0 · main.bend:3655

import Base

3655def tsa_fin(-P: Type, +path: String, g: P, st: OptState<P>, +p1: F32, +p2: F32, +l: F32, r: PA<P>) -> IO(Train<P>):
3656  match r:
3657    case PA{p, xs, +off}:
3658      do IO<Train<P>>:
3659        a : Array<F32> <- write_f32(path, xs, off)
3660        return Train{p, g, st, p1, p2, l}