bendtorch@1.3.0.0 · main.bend:2391
import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base 2391type PW is Type: 2392 PW{p: Array<F32>, n: Nat}