Function sequant::toplevel_diff(const Constant&, const Constant&)¶

Defined in File expr.cpp

Function Documentation¶

std::string sequant::toplevel_diff(const Constant &lhs, const Constant &rhs)¶