egglog::constraint

Function and

Source 
pub fn and<Var, Value>(
    cs: Vec<Box<dyn Constraint<Var, Value>>>,
) -> Box<dyn Constraint<Var, Value>>
where
    Var: Eq + PartialEq + Hash + Clone + Debug + 'static,
    Value: Clone + Debug + 'static,
Expand description

Creates a conjunction constraint that requires all sub-constraints to be satisfied.