Type Alias TypeSubst 

pub type TypeSubst = HashMap<String, Type>;

Substitutions for type variables

Aliased Type

pub struct TypeSubst { /* private fields */ }