mirror of
https://github.com/luau-lang/luau.git
synced 2024-11-15 22:35:43 +08:00
16 lines
330 B
C++
16 lines
330 B
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
#pragma once
|
|
|
|
#include "Luau/Type.h"
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
struct TypeArena;
|
|
struct Scope;
|
|
|
|
void quantify(TypeId ty, TypeLevel level);
|
|
TypeId quantify(TypeArena* arena, TypeId ty, Scope* scope);
|
|
|
|
} // namespace Luau
|