Expand description

Defines Context.

Context is used for type inference and type checking.

Modules

provides type-comparison
defines type information for builtin objects (in Context)
test module for Context
provides type variable related operations

Structs

Represents the context of the current scope

Enums

Some Erg functions require additional operation by the compiler.
記号表に登録されているモードを表す Preregister: サブルーチンまたは定数式、前方参照できる Normal: 前方参照できない