Function ceildiv_at

pub fn ceildiv_at(
    a: impl Operand,
    b: impl Operand,
    loc: impl Into<Location>,
) -> Result<Expr>

ceildiv at loc.