add: an implementation for unboxing user-defined predicates

coeff-aij · coeff-aij · commit a47f30d487af · 2026-01-09T06:17:40.000Z
diff --git a/src/chc/unbox.rs b/src/chc/unbox.rs
@@ -42,6 +42,7 @@ fn unbox_pred(pred: Pred) -> Pred {
         Pred::Known(pred) => Pred::Known(pred),
         Pred::Var(pred) => Pred::Var(pred),
         Pred::Matcher(pred) => unbox_matcher_pred(pred),
+        Pred::UserDefined(pred) => Pred::UserDefined(pred),
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -42,6 +42,7 @@ fn unbox_pred(pred: Pred) -> Pred {`
`42`	`42`	`Pred::Known(pred) => Pred::Known(pred),`
`43`	`43`	`Pred::Var(pred) => Pred::Var(pred),`
`44`	`44`	`Pred::Matcher(pred) => unbox_matcher_pred(pred),`
	`45`	`+ Pred::UserDefined(pred) => Pred::UserDefined(pred),`
`45`	`46`	`}`
`46`	`47`	`}`
`47`	`48`