Skip to main content

collect_vars

pounce_cli::nl_reader

Function collect_vars 

Source 
pub fn collect_vars(e: &Expr, out: &mut BTreeSet<usize>)
Expand description

Walk e and insert every Var(i) index into out.