introduce an alias for clauses

rust/solve/src/dpll.rs

@@ -2,6 +2,7 @@ use std::collections::BTreeSet;
type Var = i32;
type BoundVars = BTreeSet<Var>;
type Clause = Vec<Var>;
fn empty_vars() -> BoundVars {
    BTreeSet::new()
@@ -13,7 +14,7 @@ fn from_vec(v: Vec<Var>) -> BoundVars {
    vars
}
fn is_clause_satisfied(vars: BoundVars, clause: Vec<Var>) -> bool {
fn is_clause_satisfied(vars: BoundVars, clause: Clause) -> bool {
    for v in clause {
        if vars.contains(&v) {
            return true