Function sequant::operator==(std::nullptr_t, const ExprPtr&)¶

Defined in File expr.hpp

Function Documentation¶

inline bool sequant::operator==(std::nullptr_t, const ExprPtr &x)¶: ExprPtr is equal to a null pointer if it’s uninitialized.