pub fn eq<T, U, S>(a: T, b: U) -> Expr<S>where T: Into<Expr<S>>, U: Into<Expr<S>>, S: Symbol,
Constructs an equality expression.