def ceil_div

import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers

import Base

84def ceil_div(+x: Nat, +y: Nat) -> Nat:
85  Nat.div(Nat.add(x, Nat.sub(y, 1n)), y)

Uses (4)