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 🔒