Method freshVariable

libsolidity/experimental/ast/TypeSystem.cpp:178–182

}

experimental::Type TypeSystem::freshVariable(Sort _sort)
{
	size_t index = m_numTypeVariables++;
	return TypeVariable(index, std::move(_sort));
}

experimental::Type TypeSystem::freshTypeVariable(Sort _sort)
{