Type Alias TypeSubst 

pub type TypeSubst = HashMap<String, Type>;

Type substitution map: maps type parameter names to concrete types

Aliased Type

pub struct TypeSubst { /* private fields */ }