Module erg_compiler::context::instantiate

source · [−]

Structs

Context for instantiating a quantified type 量化型をインスタンス化するための文脈

Enums

TODO: this struct will be removed when const functions are implemented.