Type Definition skiff::type_inferencer::ast::SubstitutionSet[][src]

pub type SubstitutionSet = HashMap<Symbol, Term>;