def blocks_of

bend-ml-llama@0.2.1.0 · main.bend:1447

import Base

1447def blocks_of(n: Nat, +per: Nat) -> Nat:
1448  Nat.div(Nat.add(n, Nat.sub(per, 1n)), per)