def hwords
import bendtorch@1.3.0.0/dtype.bend as Dtypeimport Base
221# the number of words for n halves
222def hwords(+n: Nat) -> Nat:
223 Nat.div(Nat.add(n, 1n), 2n)
import bendtorch@1.3.0.0/dtype.bend as Dtypeimport Base
221# the number of words for n halves
222def hwords(+n: Nat) -> Nat:
223 Nat.div(Nat.add(n, 1n), 2n)