pub fn truncdiv_at( a: impl Operand, b: impl Operand, loc: impl Into<Location>, ) -> Result<Expr>
truncdiv at loc.
truncdiv
loc