def dfrom
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
109def dfrom(~T: Type, ~f: T -> @+m: W64 -> T, n: Nat, a: Array<U32>, +i: U32, acc: T) -> Array<U32> & T:
110 dfold(~T, ~f, n, get2(a, i), i, acc)
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
109def dfrom(~T: Type, ~f: T -> @+m: W64 -> T, n: Nat, a: Array<U32>, +i: U32, acc: T) -> Array<U32> & T:
110 dfold(~T, ~f, n, get2(a, i), i, acc)