def pt_load

bendtorch@1.3.0.0 · main.bend:3466

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3466# a tree from xs at off
3467def pt_load(xs: Array<F32>, +off: U32) -> PTA:
3468  pt_next(off, Array.get(F32, xs, off), k => rn => pt_read(1000n, k, off, rn))

Uses (7)

Used by (1)

bendtorch@1.3.0.0/main:trp