Add get_sort back

https://github.com/egraphs-good/egglog/pull/442/files/8ae1427f67040e833526495678fa91351a17af00#r1807931895
egraphs-good · Oct 24, 2024 · 38b34d9 · 38b34d9
1 parent af49ae2
commit 38b34d9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1467,6 +1467,11 @@ impl EGraph {
         self.type_info.sorts.get(&value.tag)
     }
 
+    /// Returns a sort based on the type
+    pub fn get_sort<S: Sort + Send + Sync>(&self) -> Option<Arc<S>> {
+        self.type_info.get_sort_by(|_| true)
+    }
+
     /// Returns the first sort that satisfies the type and predicate if there's one.
     /// Otherwise returns none.
     pub fn get_sort_by<S: Sort + Send + Sync>(