def ew1_leaf

bendtorch-fast@1.3.0.0 · main.bend:185

import bendtorch-fast@1.3.0.0/main.bend as BendtorchFast
import 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))

Uses (7)

Used by (1)