Add doc comment for add_presort

egraphs-good · Oct 15, 2024 · 9a2a085 · 9a2a085
1 parent e3158ac
commit 9a2a085
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/typechecking.rs b/src/typechecking.rs
@@ -59,6 +59,7 @@ impl TypeInfo {
         self.add_arcsort(Arc::new(sort), span)
     }
 
+    /// Adds a sort constructor to the typechecker's known set of types.
     pub fn add_presort<S: Presort>(&mut self, span: Span) -> Result<(), TypeError> {
         let name = S::presort_name();
         match self.presorts.entry(name) {