pub fn gensym_copy(&mut self, name: Name) -> Name {
        let gensym = Name(self.strings.len() as u32);
        // leave out of `names` to avoid colliding
        let string = self.strings[name.0 as usize].clone();
        self.strings.push(string);
        gensym
    }
/// Create a gensym with the same name as an existing entry.
Create a gensym with the same name as an existing entry.
Create a gensym with the same name as an existing entry .
pub fn gensym_copy(&mut self, name: Name) -> Name {
        let gensym = Name(self.strings.len() as u32);
        // leave out of `names` to avoid colliding
        let string = self.strings[name.0 as usize].clone();
        self.strings.push(string);
        gensym
    }
pub fn gensym_copy ( & mut self , name : Name ) -> Name { let gensym = Name ( self . strings . len ( ) as u32 ) ; // leave out of `names` to avoid colliding let string = self . strings [ name . 0 as usize ] . clone ( ) ; self . strings . push ( string ) ; gensym }
Create a gensym with the same name as an existing entry.
Create a gensym with the same name as an existing entry .
&mut self
name
Name
&mut self
name
Name