InferenceContext

Undocumented in source.

class InferenceContext {

Cursor[string] globalTypes;

DList!TypedMacroDefinition queue;

TypedMacroDefinition[string] definitions;

}

Members

Variables

definitions TypedMacroDefinition[string] definitions;: Undocumented in source.
globalTypes Cursor[string] globalTypes;: Undocumented in source.
queue DList!TypedMacroDefinition queue;: Undocumented in source.

Meta

Source

See Implementation

dstep translator TypeInference aliases

InferredType

classes

functions

structs