Skip to main content

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 ๐Ÿ”’