Function truncdiv

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

a / b, rounding towards zero, of two integers (C++ truncdiv, prim._OpTruncDiv).