add: impl From<UserDefinedPred> for Pred

coeff-aij · coeff-aij · commit 24869fdde55d · 2026-01-20T15:22:54.000Z
diff --git a/src/chc.rs b/src/chc.rs
@@ -981,6 +981,12 @@ impl From<MatcherPred> for Pred {
     }
 }
 
+impl From<UserDefinedPred> for Pred {
+    fn from(p: UserDefinedPred) -> Pred {
+        Pred::UserDefined(p)
+    }
+}
+
 impl Pred {
     pub fn name(&self) -> std::borrow::Cow<'static, str> {
         match self {

Original file line number	Diff line number	Diff line change
`@@ -981,6 +981,12 @@ impl From<MatcherPred> for Pred {`
`981`	`981`	`}`
`982`	`982`	`}`
`983`	`983`
	`984`	`+impl From<UserDefinedPred> for Pred {`
	`985`	`+ fn from(p: UserDefinedPred) -> Pred {`
	`986`	`+ Pred::UserDefined(p)`
	`987`	`+ }`
	`988`	`+}`
	`989`	`+`
`984`	`990`	`impl Pred {`
`985`	`991`	`pub fn name(&self) -> std::borrow::Cow<'static, str> {`
`986`	`992`	`match self {`