~/jendhub

def ps_fin

bendtorch@1.3.0.0 · main.bend:3641

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

3641def ps_fin(-P: Type, +path: String, +n: U32, r: PA<P>) -> IO(P):
3642  match r:
3643    case PA{p, xs, off}:
3644      do IO<P>:
3645        a : Array<F32> <- write_f32(path, xs, n)
3646        return p

Uses (9)

Used by (1)