Module terms

Source
Expand description

Defines the TermsContext basically houses an arena where we can allocate terms.

Structsยง

InferredIndex ๐Ÿ”’
TermsContext ๐Ÿ”’
The first pass over the crate simply builds up the set of inferreds.

Enumsยง

VarianceTerm ๐Ÿ”’

Functionsยง

determine_parameters_to_be_inferred ๐Ÿ”’
lang_items ๐Ÿ”’

Type Aliasesยง

VarianceTermPtr ๐Ÿ”’