Function chalk_recursive::combine::with_priorities
source ยท pub(crate) fn with_priorities<I: Interner>(
interner: I,
domain_goal: &DomainGoal<I>,
a: Solution<I>,
prio_a: ClausePriority,
b: Solution<I>,
prio_b: ClausePriority,
) -> (Solution<I>, ClausePriority)