def ew1_leaf
import bendtorch-fast@1.3.0.0/main.bend as BendtorchFastimport Base
import bendtorch@1.3.0.0/main.bend as T
185def ew1_leaf(~f: @+a: F32 -> F32, +e: Unit, +i0: U32, +cnt: Nat, a: Array<F32>) -> Array<F32>:
186 T.ew1_l(~f, cnt, i0, Array.get(F32, a, i0))