pub fn complex_conj_ty() -> Expr
Complex.conj : Complex → Complex (complex conjugate: a + bi → a - bi)