def array_from
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reductionimport Base
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
92def array_from(pair: Array<F32> & F32) -> Array<F32>:
93 Refinement.first(F32, pair)