Module terms

Module terms 

Source
Expand description

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

Structsยง

InferredIndex ๐Ÿ”’
TermsContext ๐Ÿ”’

Enumsยง

VarianceTerm ๐Ÿ”’

Functionsยง

determine_parameters_to_be_inferred ๐Ÿ”’
lang_items ๐Ÿ”’

Type Aliasesยง

VarianceTermPtr ๐Ÿ”’