Skip to main content

not_join

Function not_join 

Source
pub fn not_join<C: Into<Clause>>(
    vars: Vec<Var>,
    clauses: impl IntoIterator<Item = C>,
) -> Clause
Expand description

A (not-join [vars] clauses...) clause.