Method setTupleDeclarationCallback

libsmtutil/SMTLib2Context.cpp:310–313

}

void SMTLib2Context::setTupleDeclarationCallback(TupleDeclarationCallback _callback)
{
	m_callback = std::move(_callback);
}
} // namespace solidity::smtutil