Module erg_compiler::context
source · [−]Expand description
Defines Context
.
Context
is used for type inference and type checking.
Structs
Represents the context of the current scope
Context for instantiating a quantified type 量化型をインスタンス化するための文脈
Enums
記号表に登録されているモードを表す Preregister: サブルーチンまたは定数式、前方参照できる Normal: 前方参照できない