fn new_var(&mut self, root: &str, ty: &VIRType) -> BoundVar {
        let ident = self.new_ident(root);
        let var = BoundVar::new(&ident, ty);
        // self.var_map.insert(*varid, var.clone());
        self.quantified_vars.push(var.clone());
        var
    }
/// Produce a new bound variable with unique name, and add it to our quantified variables
Produce a new bound variable with unique name, and add it to our quantified variables
Produce a new bound variable with unique name and add it to our quantified variables
fn new_var(&mut self, root: &str, ty: &VIRType) -> BoundVar {
        let ident = self.new_ident(root);
        let var = BoundVar::new(&ident, ty);
        // self.var_map.insert(*varid, var.clone());
        self.quantified_vars.push(var.clone());
        var
    }
fn new_var ( & mut self , root : & str , ty : & VIRType ) -> BoundVar { let ident = self . new_ident ( root ) ; let var = BoundVar :: new ( & ident , ty ) ; // self.var_map.insert(*varid, var.clone()); self . quantified_vars . push ( var . clone ( ) ) ; var }
Produce a new bound variable with unique name, and add it to our quantified variables
Produce a new bound variable with unique name and add it to our quantified variables
&mut self
root
&str
ty
&VIRType
&mut self
root
&str
ty
&VIRType