type dict: add get_typename

2023-02-11 11:54:30 +01:00 · 2023-02-11 11:54:30 +01:00 · 4afdb61b87
parent 6867297eea
commit 4afdb61b87
1 changed files with 5 additions and 5 deletions
--- a/nested/src/type_system/type_term.rs
+++ b/nested/src/type_system/type_term.rs
@ -144,12 +144,12 @@ impl TypeDict {
        tyid
    }

+    pub fn get_typename(&self, tid: &u64) -> Option<String> {
+        self.typenames.my.get(tid).cloned()
+    }
+
    pub fn get_typeid(&self, tn: &String) -> Option<TypeID> {
-        if let Some(id) = self.typenames.mλ.get(tn) {
-            Some(*id)
-        } else {
-            None
-        }
+        self.typenames.mλ.get(tn).cloned()
    }

    pub fn type_term_from_str(&self, typename: &str) -> Option<TypeTerm> {