def wfrom

bend-kit-hash@0.3.0.2 · hash.bend:83

import bend-kit-hash@0.3.0.2/hash.bend as Hash

import Base

83def wfrom(~T: Type, ~f: T -> @+c: U32 -> T, n: Nat, a: Array<U32>, +i: U32, acc: T) -> Array<U32> & T:
84  wfold(~T, ~f, n, Array.get(U32, a, i), i, acc)

Uses (6)

Used by (3)