Function ceildiv

pub fn ceildiv(a: impl Operand, b: impl Operand) -> Result<Expr>

a / b, rounding up, of two integers: floordiv(a + b - 1, b) (C++ ceildiv, prim._OpCeilDiv).