Module erg_compiler::context::instantiate
source · Structs
Context for instantiating a quantified type
量化型をインスタンス化するための文脈
e.g. Array -> [(“T”: ?T(: Type)), (“N”: ?N(: Nat))]
FIXME: current implementation is wrong
It will not work unless the type variable is used with the same name as the definition.
Enums
TODO: this struct will be removed when const functions are implemented.