add type alias for HashMapSubst

2025-06-01 16:22:46 +02:00 · 2025-06-01 16:22:46 +02:00 · ed9f309306
commit ed9f309306
parent 08a9bad0ad
1 changed files with 2 additions and 0 deletions
--- a/src/substitution.rs
+++ b/src/substitution.rs
@ -22,6 +22,8 @@ impl Substitution for std::collections::HashMap< TypeID, TypeTerm > {
    }
 }

+pub type HashMapSubst = std::collections::HashMap< TypeID, TypeTerm >;
+
 impl TypeTerm {
    /// recursively apply substitution to all subterms,
    /// which will replace all occurences of variables which map