Module terms

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 🔒