Make error type public

metaborg · Oct 30, 2024 · 8ba0cb7 · 8ba0cb7
1 parent 2bb70ff
commit 8ba0cb7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/scopegraphs/src/containers/mod.rs b/scopegraphs/src/containers/mod.rs
@@ -3,8 +3,11 @@
 //! Using these interfaces, the resolution algorithms can deal with custom behavior introduced
 //! by [`Completeness`](crate::completeness::Completeness) implementations.
 
-enum ResolveOrUserError<RE, UE> {
+/// Union of errors during resolution (i.e., delays) and error during predicate evaluation.
+pub enum ResolveOrUserError<RE, UE> {
+    /// Resolution error.
     Resolve(RE),
+    /// User error (predicates)
     User(UE),
 }