walk_quantified_expr

Function walk_quantified_expr 

Source
pub fn walk_quantified_expr<V: Visitor>(visitor: &mut V, quant: &QuantifiedExpr)