Expand description
Defines the TermsContext
basically houses an arena where we can
allocate terms.
Structs§
- Inferred
Index 🔒 - Terms
Context 🔒 - The first pass over the crate simply builds up the set of inferreds.
Defines the TermsContext
basically houses an arena where we can
allocate terms.