Method freshTypeVariable

libsolidity/experimental/ast/TypeSystem.cpp:184–188

}

experimental::Type TypeSystem::freshTypeVariable(Sort _sort)
{
	_sort.classes.emplace(primitiveClass(PrimitiveClass::Type));
	return freshVariable(_sort);
}

std::vector<TypeEnvironment::UnificationFailure> TypeEnvironment::instantiate(TypeVariable _variable, Type _type)
{