Function formatGenericOp

libsolidity/formal/ExpressionFormatter.cpp:91–94

}

std::string formatGenericOp(smtutil::Expression const& _expr, std::vector<std::string> const& _args)
{
	return _expr.name + "(" + boost::algorithm::join(_args, ", ") + ")";
}

std::string formatInfixOp(std::string const& _op, std::vector<std::string> const& _args)
{