def ph_words

bendtorch@1.3.0.0 · main.bend:382

import Base

382# the words of n packed values: ceil(n / 2), in a block of the next power of two
383def ph_words(+n: Nat) -> Array<U32>:
384  Array.new(U32, depth(Nat.div(Nat.add(n, 1n), 2n)), 0)