Function div

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

a / b; integer division rounds towards zero, as in C (C++ div, prim._OpDiv).