Type Alias TypeContext 

pub type TypeContext = FxHashMap<NameId, InstId>;

Type variable context: maps variable NameId to its bound (an InstId type expr).

Aliased Type

pub struct TypeContext { /* private fields */ }