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